coq - the Coq proof assistant

Branch	Commit message	Author	Age
master	Correct some spelling errors	Benjamin Barenblat	6 years


Age	Commit message	Author
2018-07-22	Correct some spelling errorsmaster	Benjamin Barenblat
2018-07-22	Merge PR #8095: Improvements for the chapter 'Detailed examples of tactics' o...	Théo Zimmermann
2018-07-21	Solved problems with snippets giving errors in chapter 'Detailed examples of ...	Zeimer
2018-07-21	Rewrote examples about permutations, logic and type isomorphisms: changed the...	Zeimer
2018-07-21	Improvements for the chapter 'Detailed examples of tactics' of the Reference ...	Zeimer
2018-07-21	Merge PR #8072: Fixes for chapters 'Vernacular commands', 'Proof handling' an...	Théo Zimmermann
2018-07-21	Merge PR #8086: Improved chapter 'The tactic language' of the Reference Manual.	Théo Zimmermann
2018-07-20	Small improvements suggested in comments to PR #8086.	Zeimer
2018-07-20	Improved chapter 'The tactic language' of the Reference Manual.	Zeimer
2018-07-20	Added :undocumented: and :cmd: as suggested in comments for PR #8072.	Zeimer
2018-07-20	Fixed many spelling and grammar errors in the chapters 'Vernacular commands',...	Zeimer
2018-07-20	Merge PR #8037: Export a function to apply toplevel tactic values in Tacinterp.	Enrico Tassi
2018-07-20	Merge PR #8089: Remove declare_object for SsrHave NoTCResolution.	Enrico Tassi
2018-07-20	Merge PR #8070: Fixed some typos and grammar errors from section 'The languag...	Théo Zimmermann
2018-07-19	Rewrote section 'Accessing the Type level' in the chapter 'The Coq library' o...	Zeimer
2018-07-19	Fixed some typos and grammar errors from section 'The language' of the Refere...	Zeimer
[...]

Clone
https://git.benjamin.barenblat.name/coq.git
https://github.com/bbarenblat/coq.git