Skip to content

@MathNetwork MathNetwork

Change the repository type filter

All

    Repositories list

    4 repositories

    • Astrolabe

      Public
      A web app for content-addressed mathematical knowledge networks — read, visualize, and navigate hypergraphs of statements, proofs, and Lean declarations. Runs a…
      TypeScript
      •
      GNU Affero General Public License v3.0
      •0•4•1•0•Updated Jul 27, 2026Jul 27, 2026

    • OpenGA

      Public
      Lean
      •
      Apache License 2.0
      •7•8•16•4•Updated Jul 25, 2026Jul 25, 2026

    • .github

      Public
      0•0•0•0•Updated Jul 18, 2026Jul 18, 2026

    • mathlib-network

      Public
      Python
      •
      MIT License
      •1•5•0•0•Updated Apr 24, 2026Apr 24, 2026
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.