Query the Isabelle proof assistant with python
Primary LanguageScalaMIT LicenseMIT
No one’s star this repository yet.