Geeks
groupoid
/
anders
🧊 Модальний гомотопічний верифікатор математики
Primary Language
OCaml
Other
NOASSERTION
anders Home Page
anders GitHub
Markdown
Readme
0
Issues
19
Stargazers
0
Watchers
Stargazers
5HT
@arvo-computer
akalenuk
Ukraine
bvssvni
Cutout Pro
edoak
esmolanka
gio256
iho
Earth
isaprykin
San Francisco, CA
Jealrock
luisvgs
Venezuela
paulosalesfoxbit
Foxbit WTF
rlarson20
NYC, New York
salespaulo
Freunde Von Ideen
samtoth
xgrommx
Ukraine
zacque0