-
lean-lsp-mcp Public
Forked from oOo0oOo/lean-lsp-mcpLean Theorem Prover MCP
Python MIT License UpdatedDec 17, 2025 -
cslib-urm Public
Lean 4 formalization of Unlimited Register Machines for CSLib
Lean UpdatedDec 17, 2025 -
cslib Public
Forked from leanprover/cslibA Lean library for Computer Science
Lean Apache License 2.0 UpdatedDec 17, 2025 -
leanclient Public
Forked from oOo0oOo/leanclientPython client to interact with the lean4 language server.
Python MIT License UpdatedDec 17, 2025 -
dependabot-core Public
Forked from dependabot/dependabot-core🤖 Dependabot's core logic for creating update PRs.
Ruby MIT License UpdatedDec 16, 2025 -
mathlib4 Public
Forked from leanprover-community/mathlib4The math library of Lean 4
Lean Apache License 2.0 UpdatedDec 16, 2025 -
zen-mcp-server Public
Forked from BeehiveInnovations/pal-mcp-serverThe power of Claude Code / GeminiCLI / CodexCLI + [Gemini / OpenAI / OpenRouter / Azure / Grok / Ollama / Custom Model / All Of The Above] working as one.
Python Other UpdatedDec 15, 2025 -
leanprover-community.github.io Public
Forked from leanprover-community/leanprover-community.github.ioHosts the website for mathlib and other Lean community infrastructure.
CSS MIT License UpdatedDec 11, 2025 -
test262 Public
Forked from tc39/test262Official ECMAScript Conformance Test Suite
JavaScript Other UpdatedNov 27, 2025 -
lean-decimals Public
Implementation & verification of exact decimal arithmetic in Lean 4
-
proposal-temporal Public
Forked from tc39/proposal-temporalProvides standard objects and functions for working with dates and times.
HTML Other UpdatedNov 21, 2025 -
-
lean4-cli Public
Forked from leanprover/lean4-cliA Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
Lean MIT License UpdatedNov 18, 2025 -
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
-
structured-data-testing-tool Public
Forked from iaincollins/structured-data-testing-toolA library and command line tool to help inspect and test for Structured Data.
JavaScript ISC License UpdatedNov 14, 2025 -
LeanParanoia Public
Forked from oOo0oOo/LeanParanoiaLean 4 proof verification without reference
Python MIT License UpdatedNov 11, 2025 -
Formalization of Euler's polyhedron formula (V - E + F = 2) in Lean 4
Lean UpdatedOct 19, 2025 -
proposal-decimal-polyfill Public
Polyfill for the Ecma TC39 decimal proposal
-
ecma402 Public
Forked from tc39/ecma402Status, process, and documents for ECMA 402
HTML Other UpdatedSep 4, 2025 -
json-schema-spec Public
Forked from json-schema-org/json-schema-specThe JSON Schema specification
JavaScript Other UpdatedJul 19, 2025 -
cldr Public
Forked from unicode-org/cldrThe home of the Unicode Common Locale Data Repository
Java Other UpdatedJul 14, 2025 -
ecma262 Public
Forked from tc39/ecma262Status, process, and documents for ECMA-262
HTML Other UpdatedJul 13, 2025 -
proposal-measure-polyfill Public
Champion-maintained polyfill for the Ecma TC39 measure proposal
BSD 2-Clause "Simplified" License UpdatedJul 11, 2025 -
ecmarkup Public
Forked from tc39/ecmarkupAn HTML superset/Markdown subset source format for ECMAScript and related specifications
HTML MIT License UpdatedJul 1, 2025 -
compilers-team-codecamp-2025 Public
Very simple introduction to reasoning about bit vectors in Lean with the bv_decide tactic
Lean UpdatedJun 1, 2025 -
-
batteries Public
Forked from leanprover-community/batteriesThe "batteries included" extended library for the Lean programming language and theorem prover
Lean Apache License 2.0 UpdatedFeb 1, 2025 -
loogle Public
Forked from nomeata/loogleMathlib search tool
Lean Apache License 2.0 UpdatedJan 20, 2025 -
aesop Public
Forked from leanprover-community/aesopWhite-box automation for Lean 4
Lean Apache License 2.0 UpdatedJan 15, 2025 -
decimal128 Public archive
JavaScript userland partial implementation of IEEE 754 Decimal128 decimal floating-point arithmetic
{{ message }}