katydid / coq-lean-cheatsheet

A Cheat Sheet for Coq Developers who want to try LeanProver

katydid/coq-lean-cheatsheet Stargazers

Paul Cadman
paulcadman
Mukesh Tiwari
mukeshtiwari
☕¹⁰²⁴
spacemiqote
Yuriy Pitomets
Pitometsu
Tomaz Gomes Mascarenhas
tomaz1502
Juan Domandl
domandlj
Dimitar Rusev
mitiko
Roman Salmin
rsalmin
Qiyuan Zhao
zqy1018
Huỳnh Trần Khanh
huynhtrankhanh
Risav
risavkarna
George Pîrlea
dranov
LogicalMonster

Links

ProductDiscover

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

Contact Site Admin: Giters.