zfc

Here are 8 public repositories matching this topic...

Simple LCF-style proof assistant for ZFC

proof-assistant set-theory lcf-style zfc hilbert-calculus

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

math mathematics set-theory number-theory zfc

Nikon Z fc firmware patchkit: camera-verified feature patches, reproducible from the official firmware

firmware nikon zfc

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

coq-formalization prover zfc

ZFC的问题的形式化与机器证明，人类也会集体活在数学幻觉中：选择数学幻觉P加在ZFC上，是数学社区与魔鬼达成了交易，从而社区得到了A型数学便利，但是魔鬼要的从来都是“灵魂”。数学的灵魂——数学真理性。

paradox hott zfc zeno

Hereditarily finite sets in Rust.

set mathematics set-theory zfc

975 Wang tiles whose seeded half-plane tiling is equivalent to Con(ZFC) (compiled from Glazer's K230)

independence tiling turing-machine wang-tiles zfc busy-beaver

A Lean 4 formalization of the constructible universe L and its ZFC model.

set-theory zfc mathlib lean4 constructible-universe

To associate your repository with the zfc topic, visit your repo's landing page and select "manage topics."