Geeks
charlielidbury
/
ochre
A systems theorem prover
Primary Language
TeX
ochre Home Page
ochre GitHub
Markdown
Readme
1
Issue
8
Stargazers
3
Watchers
Stargazers
charlielidbury
London, United Kingdom
david-davies
dignissimus
United Kingdom
ethanrange
University of Cambridge
leu
London, UK
NathanielB123
orhid
@Intel
roccojiang
Imperial College London