Geeks
kendroe
/
CoqPIE
CoqPIE (an IDE for the Coq theorem prover + PEDANTIC)
Primary Language
Coq
MIT License
MIT
CoqPIE GitHub
Markdown
Readme
1
Issue
8
Stargazers
2
Watchers
Stargazers
chloestefantsova
Aarhus, Denmark
kendroe
catalin-hritcu
Bochum, Germany
c-cube
washington DC
smondet
New York, NY
npe9
Livermore California
richard1933
Baltimore, MD
jkominek
Boulder, CO