Giters
leanprover
/
fp-lean
Functional Programming in Lean
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
60
Watchers:
6
Issues:
140
Forks:
15
leanprover/fp-lean Watchers
David Thrane Christiansen
david-christiansen
Mario Carneiro
digama0
eemailme
Leonardo de Moura
leodemoura
paulch42
soraros