coq - The formal proof system

Age	Commit message (Expand)	Author
2021-01-28	Replace : term with : type in open binders.	Théo Zimmermann
2020-12-30	Convert rewriting and proof-mode chapters to prodn	Jim Fehrle
2020-12-03	[refman] Fix error names.	Théo Zimmermann
2020-11-09	[refman] Stop applying a special style to Coq, CoqIDE, OCaml and Gallina.	Théo Zimmermann
2020-10-24	Convert misc chapters to prodn	Jim Fehrle
2020-10-20	Add some missing smallcaps.	Théo Zimmermann
2020-10-05	Document the removal of forward class hints.	Théo Zimmermann
2020-09-11	[refman] Rename num to natural	Pierre Roux
2020-06-09	Merge sections on functions and function types.	Théo Zimmermann
2020-05-14	Create new file on Functions and Assumptions.	Théo Zimmermann