coq-mathcomp - Library of mathematical components formalized in Coq

Age	Commit message (Expand)	Author
2020-09-11	fix 8.9, 8.8 and 8.7	Enrico Tassi
2020-09-10	new attempt	Enrico Tassi
2020-09-09	default reference file for < 8.12	Enrico Tassi
2020-09-07	[test suite] infrastructure to test how some statements are printed	Enrico Tassi
2020-06-13	Add more test cases for higher-order recursive functions in seq.v w.r.t. the ...	Kazuhiko Sakaguchi
2020-04-10	adding guard conditions check to the test_suite	Cyril Cohen
2020-04-06	Rewriting with AC (not modulo AC), using a small scale command.	Cyril Cohen
2019-04-30	Reimplement the hierarchy related tools in OCaml	Kazuhiko Sakaguchi
2019-04-08	New test cases generation: corrent implementation of least common children	Kazuhiko Sakaguchi
2019-04-04	no output on success in test_suite/hierarchy_test.v (#323)	Cyril Cohen
2019-04-03	rename test-suite -> test_suite to make coq happy	Enrico Tassi