Pinned Loading

1. cambridge-maths-notes cambridge-maths-notes Public

   LaTeX sources for notes for the maths courses at Cambridge.

   TeX 112 33

2. leanprover-community/con-nf leanprover-community/con-nf Public

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

   Lean 87 9