Query the Isabelle proof assistant with python
Primary LanguageScalaMIT LicenseMIT
This repository is not active