Geeks
kendroe
kendroe Home
kendroe GitHub
7
Repos
1
Star
3
Followers
0
Following
kendroe's Stars
kendroe/
CoqPIE
CoqPIE (an IDE for the Coq theorem prover + PEDANTIC)
Language:
Coq
8