Simple LCF-style proof assistant for ZFC
-
Updated
Nov 2, 2017 - Haskell
#
zfc
Here are 3 public repositories matching this topic...
Topos is a library for implementations of mathematical concepts for .NET environment. Based on Zermelo–Fraenkel set theory (ZFC).
-
Updated
Oct 28, 2021 - C#
A mini ZFC prover embedded in Coq for teaching scenarios. (CoqPL'23)
-
Updated
Jan 24, 2023 - Coq
Improve this page
Add a description, image, and links to the zfc topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the zfc topic, visit your repo's landing page and select "manage topics."