This is a ZFC prover embedded in Coq for teaching scenarios. More information can be found in CoqPL 2023.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool