Giters
paulch42
/
lean-spec
Program Specification in Lean 4
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
12
Watchers:
1
Issues:
2
Forks:
1
paulch42/lean-spec Stargazers
Bryan Gin-ge Chen
bryangingechen
Bulhwi Cha
chabulhwi
Eric Vincent
efvincent
joewatt95
Josh Tilles
Josh-Tilles
Pol'tta / Miyahara Kō
Komyyy
Tomáš Skřivan
lecopivo
Kitamado
Seasawher
Sunny Gonnabathula
sunny-g
Utensil
utensil
Yangze Luo
wasd96040501
Yuri de Wit
ydewit
