Geeks
o-santi
/
verified-chess
Verified Chess Verifier
Primary Language
Coq
verified-chess GitHub
Markdown
Readme
0
Issues
7
Stargazers
2
Watchers
Stargazers
ortolanrj
Cloud
agubelu
rigille
Vitória, Brasil
samueldurantes
Ponta Grossa, Brazil
caotic123
Belo Horizonte - MG
ichistmeinname
Germany, Kiel
joom
New York City