coq-mathcomp - Library of mathematical components formalized in Coq

Age	Commit message (Expand)	Author
2020-11-25	Using `only printing` and fixing coercion in notations	Cyril Cohen
2020-11-23	fixing [dup] for Coq 8.12	Cyril Cohen
2020-11-11	Intro pattern extensions for dup, swap and apply	Cyril Cohen
2020-10-07	Turn class_of records into primitive records and get rid of the xclass idiom	Kazuhiko Sakaguchi
2020-09-14	don't use all.v in output.v	Enrico Tassi
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