Pinned Loading

1. rizzo rizzo Public

   STARK-based RISC-V virtual machine

   Rust 3

2. arrows arrows Public

   (dys)functional rust

   Rust 1

3. Coq-HoTT Coq-HoTT Public

   Forked from HoTT/Coq-HoTT

   A Coq library for Homotopy Type Theory

   Coq

4. erigon-db erigon-db Public

   Fully typed access to the Erigon db in rust

   Rust 103 11

5. infinity-cosmos infinity-cosmos Public

   Forked from emilyriehl/infinity-cosmos

   A blueprint for a formalization of infinity-cosmos theory in Lean.

   TeX

6. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean