issues
search
SkySkimmer
/
coq-ltac2-compiler
GNU Lesser General Public License v2.1
5
stars
0
forks
source link
Avoid OCaml keywords
#5
Closed
SkySkimmer
closed
11 months ago
SkySkimmer
commented
11 months ago
Fix #4
Fix #4