HomeReferencesConNFLean2026

ConNFLean2026

New Foundations is consistent: formalization and blueprint

Lean Prover Community

online2026

Citation key: ConNFLean2026
Year: 2026
Cited by: 0 catalog records
Direct source: Available

Catalog connections

Conjectures citing this source

This audit source is not attached to a stable-open catalog record.

Source record

Bibliographic fields

Inspect the parsed BibTeX fields

author: Lean Prover Community
title: New Foundations is consistent: formalization and blueprint
url: https://leanprover-community.github.io/con-nf/
urldate: 2026-07-27
year: 2026