An reimplementation of the Proost proof-assistant written in Lean 4
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool