Popular repositories Loading

1. book book Public

   Forked from HoTT/book

   A textbook on informal homotopy type theory

   TeX 1

2. Sudoku Sudoku Public

   A (yet unfinished) Sudoku solver in Coq

   Coq 1

3. HoTT HoTT Public

   Forked from HoTT/Coq-HoTT

   Homotopy type theory

   Rocq Prover 1

4. stacks-project stacks-project Public

   Forked from stacks/stacks-project

   Repository for the Stacks Project

   TeX

5. chess-toolkit chess-toolkit Public

   Python

6. martin martin Public

   Forked from maplibre/martin

   Blazing fast and lightweight PostGIS, MBtiles and PMtiles tile server, tile generation, and mbtiles tooling.

   Rust