Repositories list

• Munkres

  Public
  Lean

  •00 forks in libmath/Munkres•00 stars in libmath/Munkres•00 issues in libmath/Munkres•00 pull requests in libmath/Munkres•Updated Mar 27, 2026Mar 27, 2026

• slope

  Public
  A CLI tool for managing my lean repositories

  Rust

  •00 forks in libmath/slope•00 stars in libmath/slope•00 issues in libmath/slope•00 pull requests in libmath/slope•Updated Mar 24, 2026Mar 24, 2026

• 64bits

  Public
  Lean proofs related to primitive operations in computing.

  Lean

  •00 forks in libmath/64bits•00 stars in libmath/64bits•00 issues in libmath/64bits•00 pull requests in libmath/64bits•Updated Jan 31, 2026Jan 31, 2026

• Rudin

  Public
  mathlean

  mathlean

  Lean

  •00 forks in libmath/Rudin•00 stars in libmath/Rudin•00 issues in libmath/Rudin•00 pull requests in libmath/Rudin•Updated Jan 1, 2026Jan 1, 2026

• libmath.github.io

  Public
  Python

  •00 forks in libmath/libmath.github.io•00 stars in libmath/libmath.github.io•00 issues in libmath/libmath.github.io•00 pull requests in libmath/libmath.github.io•Updated Jul 24, 2025Jul 24, 2025

• z

  Public
  The minimath wiki

  00 forks in libmath/z•00 stars in libmath/z•00 issues in libmath/z•00 pull requests in libmath/z•Updated Oct 21, 2024Oct 21, 2024