CircuitCoder / MeowThink

A mini (consistent-wannabe) proof-assistant with power roughly equivalent to intelligence of a two month old cat

CircuitCoder/MeowThink Stargazers

Potato Hatsue
berberman
Tiago Campos
caotic123
Gerard jourdain Grégoire Charles
Charlesjourdain
Yangyu Chen
cyyself
Elogicocal
Eloco
FantasqueX
FantasqueX
Shengqi Chen
Harry-Chen
Chen
jiegec
Sirui Mu
Lancern
Linsy
linsyking
Chenggang Zhao
LyricZhao
LightQuantum
PhotonQuantum
Plommon
plommon
Wang Kang
scateu
Yuuta Liang
Trumeet
Hongren Zheng
ZenithalHourlyRate
EnanaShinonome
ZiruiOu

Links

ProductDiscover

Data Powerby api.github.com. Remove your profile on the Giters? Go to settings.

Contact Site Admin: Giters.