long-long-float/simple-proof-assistant

a proof assistant kernel for minimal propositional logic

Rust