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.