Giters
leanprover-community
/
aesop
White-box automation for Lean 4
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
160
Watchers:
9
Issues:
59
Forks:
26
leanprover-community/aesop Watchers
David Thrane Christiansen
david-christiansen
Mario Carneiro
digama0
Kostas Georgiou
drkostas
eemailme
Jevin Sweval
jevinskie
James Cloos
jhcloos
llllvvuu-watcher
Kitamado
Seasawher
Tom Houlé
tomhoule