Tricks you wish the Coq manual told you
created at Nov. 27, 2016, 7:20 p.m.
27 +0
476 +0
19 +0
Library to create Coq record update functions
created at July 23, 2018, 8:48 p.m.
8 +0
42 +0
15 +0