lapinot
/
coq-barebone
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
coq-barebone/theories/dune

7 lines
96 B
Plaintext
Raw Permalink Blame History

(include_subdirs qualified)
(coq.theory
(name Barebone)
(package coq-barebone)
(stdlib no))
Reference in New Issue View Git Blame Copy Permalink