-
-
mathlib4 Public
Forked from leanprover-community/mathlib4The math library of Lean 4
Lean Apache License 2.0 UpdatedJan 4, 2026 -
-
-
-
-
compfiles Public
Forked from dwrensha/compfilesCatalog Of Math Problems Formalized In Lean
Lean Apache License 2.0 UpdatedMay 28, 2025 -
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
Lean Apache License 2.0 UpdatedMay 20, 2025 -
LeanTeX-mathlib Public
Forked from kmill/LeanTeX-mathlibLeanTeX pretty printers for mathlib
Lean Apache License 2.0 UpdatedMay 18, 2025 -
LeanTeX Public
Forked from kmill/LeanTeXLean 4 library for pretty printing expressions as LaTeX
Lean Apache License 2.0 UpdatedMay 18, 2025 -
matharena Public
Forked from eth-sri/matharenaEvaluation of LLMs on latest math competitions
Python MIT License UpdatedMay 15, 2025 -
-
formalising-mathematics-2024 Public
Forked from ImperialCollegeLondon/formalising-mathematics-2024Formalising Mathematics; a course for undergraduate mathematicians. Running January to March 2024.
Lean Apache License 2.0 UpdatedJan 7, 2025 -
-
equational_theories Public
Forked from teorth/equational_theoriesA project to map out the relations between different equational theories of Magmas.
C Apache License 2.0 UpdatedDec 30, 2024 -
LeanCopilot Public
Forked from lean-dojo/LeanCopilotLLMs as Copilots for Theorem Proving in Lean
C++ MIT License UpdatedDec 30, 2024 -
swift-book Public
Forked from swiftlang/swift-bookThe Swift Programming Language book
Markdown Apache License 2.0 UpdatedNov 21, 2024 -
swift Public
Forked from swiftlang/swiftThe Swift Programming Language
C++ Apache License 2.0 UpdatedMay 26, 2024 -
-
-
-
-
-
-
-
NotWordle Public
Forked from jerardlouis/MusicWordleWordle game for music industry
-
-
-
-
PyRival Public
Forked from cheran-senthil/PyRival⚡ Competitive Programming Library
Python Apache License 2.0 UpdatedFeb 27, 2021
{{ message }}