Popular repositories Loading

1. mathematics_in_lean mathematics_in_lean Public

   Forked from leanprover-community/mathematics_in_lean

   The user home repository for the Mathematics in Lean tutorial.

   HTML

2. theorem_proving_in_lean4 theorem_proving_in_lean4 Public

   Forked from leanprover/theorem_proving_in_lean4

   Theorem Proving in Lean 4

   Lean

3. omarchy-rose-pine-moon-theme omarchy-rose-pine-moon-theme Public archive

   Forked from guilhermetk/omarchy-rose-pine-dark

   A rose pine moon (dark) theme for Omarchy

   CSS

4. minizen-template minizen-template Public template

   minizen-template - A template repo for python projects

   Just

5. minizen minizen Public

   minizen - A quieter way to stay informed

   Python

6. tuicr tuicr Public

   Forked from agavra/tuicr

   a code review TUI with vim keybindings

   Rust