Skip to content
@NUS-Math-Formalization

NUS Math Formalization

Popular repositories Loading

  1. coxeter coxeter Public

    Lean 12 15

  2. CalculusSkeleton CalculusSkeleton Public

    Lean 4 3

  3. mathlib4 mathlib4 Public

    Forked from leanprover-community/mathlib4

    The math library of Lean 4, for exchange property

    Lean 1

  4. CS1231Skeleton CS1231Skeleton Public

    Lean 1

  5. minicourse minicourse Public

    Lean 1

  6. nus-math-formalization.github.io nus-math-formalization.github.io Public

Repositories

Showing 9 of 9 repositories
  • mathlib4 Public Forked from leanprover-community/mathlib4

    The math library of Lean 4, for exchange property

    NUS-Math-Formalization/mathlib4’s past year of commit activity
    Lean 1 Apache-2.0 382 0 0 Updated Mar 4, 2025
  • minicourse Public
    NUS-Math-Formalization/minicourse’s past year of commit activity
    Lean 1 0 0 0 Updated Feb 23, 2025
  • CalculusSkeleton Public
    NUS-Math-Formalization/CalculusSkeleton’s past year of commit activity
    Lean 4 MIT 3 0 2 Updated Nov 22, 2024
  • lean4game Public Forked from leanprover-community/lean4game

    Server to host lean games for calculus

    NUS-Math-Formalization/lean4game’s past year of commit activity
    TypeScript 0 GPL-3.0 42 0 0 Updated Nov 15, 2024
  • llmlean Public Forked from cmu-l3/llmlean

    LLMs + Lean for Lean Game

    NUS-Math-Formalization/llmlean’s past year of commit activity
    Lean 0 MIT 19 0 0 Updated Nov 9, 2024
  • CS1231Skeleton Public
    NUS-Math-Formalization/CS1231Skeleton’s past year of commit activity
    Lean 1 MIT 0 0 0 Updated Oct 11, 2024
  • coxeter Public
    NUS-Math-Formalization/coxeter’s past year of commit activity
    Lean 12 15 1 3 Updated Jul 8, 2024
  • coxeter_doc Public
    NUS-Math-Formalization/coxeter_doc’s past year of commit activity
    0 0 0 0 Updated Apr 14, 2024
  • nus-math-formalization.github.io Public
    NUS-Math-Formalization/nus-math-formalization.github.io’s past year of commit activity
    0 0 0 0 Updated Apr 9, 2024

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…