Giters

samuelgruetter / ZFC-prover-in-Coq

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

ZFC-prover-in-Coq

This is a ZFC prover embedded in Coq for teaching scenarios. More information can be found in CoqPL 2023.

About

This is a ZFC prover embedded in Coq for teaching scenarios. More information can be found in CoqPL 2023.

Languages

Language:Coq 100.0%