coq/test-suite/misc/poly-capture-global-univs/_CoqProject, branch master The formal proof system Porting the test-suite to coqpp. 2018-10-19T14:24:46+00:00 Pierre-Marie Pédrot 2018-10-19T14:21:22+00:00 266050f7aaa0ee0b090b30b1acabaccda6919889 






Add test for inconsistency from polymorphism capturing global univs
2018-09-13T13:05:57+00:00

Gaëtan Gilbert

2018-08-28T14:11:17+00:00

eb4171d50d340e19e87a7a592b3d9c0d48654337