coq - The formal proof system

Age	Commit message (Expand)	Author
2020-05-04	[ssr] get rid of (pf_)mkSsrConst	Enrico Tassi
2020-05-03	Further port of the SSR tactics.	Pierre-Marie Pédrot
2020-05-03	Wrap ssr tactics into V82.tactic.	Pierre-Marie Pédrot
2020-03-18	Update headers in the whole code base.	Théo Zimmermann
2019-06-17	Update ml-style headers to new year.	Théo Zimmermann
2019-04-23	[ssr] under: Fix the defective form ("=> [\|]" implied) and its doc	Erik Martin-Dorel
2019-04-23	[ssr] new syntax for the under tactic	Enrico Tassi
2019-04-23	[ssr] over: Expose the new type of tactic for Ssrfwd.overtac	Erik Martin-Dorel
2019-04-23	[ssr] over: Add Ssrfwd.overtac in the .mli	Erik Martin-Dorel
2019-04-23	[ssr] under: Add support for one-liners "under (…) by [tac1\|tac2]."	Erik Martin-Dorel
2019-04-02	[ssr] implement "under i: ext_lemma" by rewrite rule	Enrico Tassi
2019-01-18	[ssr] clean up implementation of {}/v -> /v{v}	Enrico Tassi
2018-03-05	Merge PR #6855: Update headers following #6543.	Maxime Dénès
2018-03-04	ssr: rewrite Ssripats and Ssrview in the tactic monad	Enrico Tassi
2018-02-27	Update headers following #6543.	Théo Zimmermann
2017-07-17	[API] Remove `open API` in ml files in favor of `-open API` flag.	Emilio Jesus Gallego Arias
2017-06-16	Removing Proof_type from the API.	Pierre-Marie Pédrot
2017-06-07	Put "ssreflect" behind "API".	Matej Košík
2017-06-06	Merge the ssr plugin.	Maxime Dénès