Skip to content

@NUS-Math-Formalization NUS Math Formalization

Change the repository type filter

All

    Repositories list

    9 repositories

    • mathlib4

      Public
      The math library of Lean 4, for exchange property
      Lean
      •
      Apache License 2.0
      •378•1•0•0•Updated Mar 4, 2025Mar 4, 2025

    • minicourse

      Public
      Lean
      •0•1•0•0•Updated Feb 23, 2025Feb 23, 2025

    • CalculusSkeleton

      Public
      Lean
      •
      MIT License
      •3•4•0•2•Updated Nov 22, 2024Nov 22, 2024

    • lean4game

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

    • llmlean

      Public
      LLMs + Lean for Lean Game
      Lean
      •
      MIT License
      •19•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•12•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