A toolchain for theorem proving with a graphical interface
Primary LanguageTypeScript
This repository is not active