a proof assistant kernel for minimal propositional logic
Primary LanguageRust
This repository is not active