Geeks
charguer
/
tlc
Library for Classical Coq
Primary Language
Coq
Other
NOASSERTION
tlc GitHub
Markdown
Readme
6
Issues
38
Stargazers
6
Watchers
Watchers
charguer
eemailme
jhcloos
jhjourdan
CNRS, LMF
nobrakal
Paris - France
ppedrot