Popular repositories Loading

1. Modal logic in Lean 4

   Lean 3

2. Formalization of Frucht's theorem in Lean

   Lean 3

3. Forked from leanprover/lean4

   Lean 4 programming language and theorem prover

   Lean

4. Forked from libriscv/libriscv

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

   C++