coq/test-suite/misc/side-eff-leak-univs/_CoqProject, branch master

coq/test-suite/misc/side-eff-leak-univs/_CoqProject, branch master The formal proof system Adding a test to the test-suite. 2020-03-06T13:48:31+00:00 Pierre-Marie Pédrot 2020-02-27T13:44:10+00:00 fe4d324e9e64fd34b2b377d29944eaac3c18e37f We take inspiration and code from the Evil plugin.

We take inspiration and code from the Evil plugin.