zfc

There are 0 repository under zfc topic.

• timjb / set-theory-prover

  Simple LCF-style proof assistant for ZFC

  set-theoryproof-assistantlcf-stylezfchilbert-calculus
  Language:Haskell 6

• muratcankilic96 / topos

  Topos is a library for implementations of mathematical concepts for .NET environment. Based on Zermelo–Fraenkel set theory (ZFC).

  mathset-theorynumber-theorymathematicszfc
  Language:C# 5

• rikosellic / ZFC-prover-in-Coq

  A mini ZFC prover embedded in Coq for teaching scenarios. (CoqPL'23)

  coq-formalizationproverzfc
  Language:Coq 1