Pinned Repositories
CNL-CIC
A controlled natural language for calculus of inductive constructions, based on Forthel.
formalabstracts
formalabstracts-2017
Legacy code from 2017
formalabstracts-2018
Legacy code from 2018.
publications-of-thomas-hales
Automatically exported from code.google.com/p/mathematical-papers
thalesant's Repositories
thalesant/formalabstracts-2018
Legacy code from 2018.
thalesant/formalabstracts-2017
Legacy code from 2017
thalesant/publications-of-thomas-hales
Automatically exported from code.google.com/p/mathematical-papers