Popular repositories Loading

1. SetTheory SetTheory Public

   A formalization project of set theory and elementary embeddings in Lean 4. Includes a proof of Kunen's inconsistency theorem.

   Lean 11

2. Frucht Frucht Public

   Formalization of Frucht's theorem in Lean

   Lean 5

3. lean-modal-logic lean-modal-logic Public

   Modal logic in Lean 4

   Lean 3

4. lean4 lean4 Public

   Forked from leanprover/lean4

   Lean 4 programming language and theorem prover

   Lean

5. libriscv libriscv Public

   Forked from libriscv/libriscv

   C++20 RISC-V RV32/64/128 userspace emulator library

   C++

6. RVVM RVVM Public

   Forked from LekKit/RVVM

   The RISC-V Virtual Machine

   C