coq/dev/ci/user-overlays/14075-herbelin-master+new-level-abstraction-streams-with-location.sh, branch master
The formal proof system
Overlay for elpi.
2021-04-23T13:34:29+00:00
Hugo Herbelin
2021-04-20T14:45:17+00:00
4ca8b4aab1a6b4f55aab026e42a530fa125553c0