Skip to content

@NUS-Math-Formalization NUS Math Formalization

Change the repository type filter

All

    Repositories list

    9 repositories

    • minicourse

      Public
      Lean
      •1•10•0•0•Updated Oct 1, 2025Oct 1, 2025

    • mathlib4

      Public
      The math library of Lean 4, for exchange property
      Lean
      •
      Apache License 2.0
      •1.5k•1•0•0•Updated May 15, 2025May 15, 2025

    • CalculusSkeleton

      Public
      Lean
      •
      MIT License
      •3•4•0•2•Updated Apr 10, 2025Apr 10, 2025

    • lean4game

      Public
      Server to host lean games for calculus
      TypeScript
      •
      GNU General Public License v3.0
      •95•0•0•0•Updated Nov 15, 2024Nov 15, 2024

    • llmlean

      Public
      LLMs + Lean for Lean Game
      Lean
      •
      MIT License
      •33•0•0•0•Updated Nov 9, 2024Nov 9, 2024

    • CS1231Skeleton

      Public
      Lean
      •
      MIT License
      •0•1•0•0•Updated Oct 11, 2024Oct 11, 2024

    • coxeter

      Public
      Lean
      •15•13•1•3•Updated Jul 8, 2024Jul 8, 2024

    • coxeter_doc

      Public
      0•0•0•0•Updated Apr 14, 2024Apr 14, 2024

    • nus-math-formalization.github.io

      Public
      0•0•0•0•Updated Apr 9, 2024Apr 9, 2024
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.