Skip to content

long-long-float/simple-proof-assistant

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

4 Commits
 
 
 
 
 
 
 
 

About

a proof assistant kernel for minimal propositional logic

Stars

Watchers

Forks

Packages

No packages published

Languages