Skip to content

@libmath libmath

Change the repository type filter

All

    Repositories list

    6 repositories

    • Munkres

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

    • slope

      Public
      A CLI tool for managing my lean repositories
      Rust
      •0•0•0•0•Updated Mar 24, 2026Mar 24, 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

    • 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
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.