Basing it on Julia would make sense for certain reasons, basing it on Coq would make sense for different reasons but basing it on Python, as appears to be the case from the only code sample I've seen, doesn't make a lot of sense to me.
According to the paper it is based on Coq. Perhaps there's a python interface to that which kind of makes sense because a lot more people have experience with Python than with Coq and giving them some kind of bridge so they could use Python as a frontend would help with adoption.
