Giters
coq-quantum
/
CoqQ
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
14
Watchers:
5
Issues:
2
Forks:
coq-quantum/CoqQ Watchers
Kartik Singhal
k4rtik
Pierre-Yves Strub
strub
QuantumGeography
yz842614503
Māris Ozols
marozols
ianhhlee