Popular repositories Loading

1. lean-modal-logic lean-modal-logic Public

   Modal logic in Lean 4

   Lean 3

2. frucht frucht Public

   Formalization of Frucht's theorem in Lean

   Lean 3

3. lean4 lean4 Public

   Forked from leanprover/lean4

   Lean 4 programming language and theorem prover

   Lean

4. libriscv libriscv Public

   Forked from libriscv/libriscv

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

   C++

5. RVVM RVVM Public

   Forked from LekKit/RVVM

   The RISC-V Virtual Machine

   C

6. analytic-number-theory analytic-number-theory Public