Skip to content

Latest commit

 

History

History
8 lines (6 loc) · 613 Bytes

README.md

File metadata and controls

8 lines (6 loc) · 613 Bytes

AutoProof

test docs codecov GitHub last commit

A work-in-progress propositional logic library.