Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with new-foundations

A curated list of projects in awesome lists tagged with new-foundations .

https://github.com/leanprover-community/con-nf

A formal consistency proof of Quine's set theory New Foundations

lean4 new-foundations set-theory

Last synced: 29 Nov 2024