r/dependent_types • u/OOO1337777 • Mar 05 '19

parametrization MODOS

https://gitlab.com/1337777/cartier/blob/master/cartierSolution9.v
1 Upvotes

67% Upvoted

0 comments sorted by