Geeks
charlielidbury
/
ochre
A systems theorem prover
Primary Language
TeX
ochre Home Page
ochre GitHub
Markdown
Readme
1
Issue
8
Stargazers
3
Watchers
Ochre
A systems theorem prover
Watch this space.