Skip to content

@libmath libmath

Change the repository type filter

All

    Repositories list

    6 repositories

    • Munkres

      Public
      Lean
      •0•0•0•0•Updated Mar 15, 2026Mar 15, 2026

    • 64bits

      Public
      Lean proofs related to primitive operations in computing.
      Lean
      •0•0•0•0•Updated Jan 31, 2026Jan 31, 2026

    • Rudin

      Public
      mathlean
      mathlean
      Lean
      •0•0•0•0•Updated Jan 1, 2026Jan 1, 2026

    • slope

      Public
      A CLI tool for managing my lean repositories
      Rust
      •0•0•0•0•Updated Nov 30, 2025Nov 30, 2025

    • libmath.github.io

      Public
      Python
      •0•0•0•0•Updated Jul 24, 2025Jul 24, 2025

    • z

      Public
      The minimath wiki
      0•0•0•0•Updated Oct 21, 2024Oct 21, 2024