Skip to content

@MathNetwork QED

Change the repository type filter

All

    Repositories list

    6 repositories

    • OpenGA

      Public
      Lean
      •
      Apache License 2.0
      •2•2•0•0•Updated May 14, 2026May 14, 2026

    • comb_arg

      Public
      Almgren--Pitts combinatorial arguement
      Lean
      •
      Apache License 2.0
      •0•0•0•0•Updated Apr 29, 2026Apr 29, 2026

    • mathlib-network

      Public
      Python
      •
      MIT License
      •0•3•0•0•Updated Apr 24, 2026Apr 24, 2026

    • cic-kernal

      Public
      TeX
      •0•1•0•0•Updated Apr 16, 2026Apr 16, 2026

    • Astrolabe

      Public
      A desktop reader for astrolabe.json — content-addressable knowledge networks with higher-dimensional semantic structures. Plugin-based analysis and visualizatio…
      visualizationdesktop-appnetwork-analysis
      visualizationdesktop-appnetwork-analysismdxknowledge-networktauricontent-addressablelean4simplicial
      TypeScript
      •
      GNU Affero General Public License v3.0
      •0•3•0•0•Updated Apr 14, 2026Apr 14, 2026

    • Proof-Wanted

      Public
      Lean 4 formalization candidates
      TypeScript
      •0•2•0•0•Updated Mar 27, 2026Mar 27, 2026
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.