Topic: "zfc"
timjb/set-theory-prover
Simple LCF-style proof assistant for ZFC
Language: Haskell - Size: 81.1 KB - Last synced at: about 1 month ago - Pushed at: over 7 years ago - Stars: 6 - Forks: 0
muratcankilic96/topos
Topos is a library for implementations of mathematical concepts for .NET environment. Based on Zermelo–Fraenkel set theory (ZFC).
Language: C# - Size: 4.14 MB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 5 - Forks: 0
rikosellic/ZFC-prover-in-Coq
A mini ZFC prover embedded in Coq for teaching scenarios. (CoqPL'23)
Language: Coq - Size: 107 KB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 1
vihdzp/hfs
Hereditarily finite sets in Rust.
Language: Rust - Size: 340 KB - Last synced at: about 1 month ago - Pushed at: 8 months ago - Stars: 0 - Forks: 1
