Issues
- 5
last commit compatible with coq 8.10?
#29 opened by brando90 - 2
Having a nat -> atom conversion
#21 opened by HuStmpHrrr - 1
[request]coq 8.10 support
#23 opened by juda - 2
coqsplit.ml: error with string not bytes
#14 opened by spl - 4
Feature request: provide a Coq OPAM package
#17 opened by brabalan - 1
Fails to build with 8.9.0
#19 opened by jwiegley - 1
- 1
Documentation build currently broken
#2 opened by sstrickl