Geeks
wilcoxjay
/
coq-lit
Literate coq blog posts
Primary Language
Python
coq-lit GitHub
Markdown
Readme
0
Issues
16
Stargazers
4
Watchers
Stargazers
aakp10
CheeseTurtle
cobbal
Salt Lake City
cpitclaudel
EPFL
equalunique
fritzo
Social Cognitive Machines
ghuysmans
@isfath
jeanpehk
jgarte
Madison, WI
KvaroverHeaven
localhost, Taiwan
lthms
Nomadic Labs
lukenels
Seattle, WA
MarisaKirisame
魔法の森, Gensokyo
markfarrell
Canada
osa1
siraben
Yale University