coq - The formal proof system

Age	Commit message (Expand)	Author
2021-03-30	Remove the :> type cast	Jim Fehrle
2021-03-08	Convert 2nd part of rewriting chapter to prodn	Jim Fehrle
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-27	Merge PR #12586: [declare] Allow custom typing flags when declaring constants.	coqbot-app[bot]
2020-11-27	Improved error message on nested proofs	Fabian Kunze
2020-11-26	[attributes] [typing] Rename `typing` to `bypass_check`	Emilio Jesus Gallego Arias
2020-11-26	[attributes] [doc] Documentation review by Théo.	Emilio Jesus Gallego Arias
2020-11-18	[attributes] Deprecate `attr(true)` syntax in favor of booelan attributes.	Emilio Jesus Gallego Arias
2020-11-14	Move destructuring let syntax closer to its documentation.	Théo Zimmermann
2020-11-09	[refman] Stop applying a special style to Coq, CoqIDE, OCaml and Gallina.	Théo Zimmermann
2020-11-02	[doc] attribute #[using]	Enrico Tassi
2020-10-24	Convert misc chapters to prodn	Jim Fehrle
2020-10-20	Add some missing smallcaps.	Théo Zimmermann
2020-06-08	Convert Ltac chapter to prodn	Jim Fehrle
2020-05-14	Reintroduce leftover parts; update index files; small fixes.	Théo Zimmermann
2020-05-14	Merge definitions and type casts in same file.	Théo Zimmermann
2020-05-14	Create new file on Definitions.	Théo Zimmermann
2020-05-14	Add type casts to new Definitions file.	Théo Zimmermann