Geeks
proost-assistant
/
ProostLean
An reimplementation of the Proost proof-assistant written in Lean 4
Primary Language
Lean
ProostLean GitHub
Markdown
Readme
1
Issue
12
Stargazers
1
Watcher
Issues
Open issue
Implement Locally Nameless representation in the Kernel.
#1 opened
a year ago
by
arthur-adjedj
0