-
lean-lsp-mcp Public
Forked from oOo0oOo/lean-lsp-mcpLean Theorem Prover MCP
Python MIT License UpdatedApr 9, 2026 -
leanblueprint Public
Forked from faabian/leanblueprintplasTeX plugin to build formalization blueprints.
Python Apache License 2.0 UpdatedApr 6, 2026 -
-
claude-code Public
Forked from ultraworkers/claw-codeClaude Code Snapshot for Research. All original source code is the property of Anthropic.
TypeScript UpdatedMar 31, 2026 -
-
-
openevolve Public
Forked from algorithmicsuperintelligence/openevolveOpen-source implementation of AlphaEvolve
-
llmlean Public
Forked from cmu-l3/llmleanLLMs + Lean, on your laptop or in the cloud
Lean MIT License UpdatedNov 27, 2025 -
plausible Public
Forked from leanprover-community/plausibleLean Apache License 2.0 UpdatedNov 6, 2025 -
-
lean-portal Public
Forked from leanprover-community/lean-autoExperiments on automation for Lean
Lean Apache License 2.0 UpdatedOct 14, 2025 -
NeqLIPS Public
NeqLIPS: a powerful Olympiad-level inequality prover
-
LLaMA-Factory Public
Forked from hiyouga/LlamaFactoryUnified Efficient Fine-Tuning of 100+ LLMs & VLMs (ACL 2024)
Python Apache License 2.0 UpdatedAug 28, 2025 -
kimina-lean-server Public template
Forked from project-numina/kimina-lean-serverKimina Lean server
Python MIT License UpdatedJul 10, 2025 -
-
ConvexAndProbability-lean4 Public
Forked from zzhisthebest/ConvexAndProbability-lean4 -
-
Stock-Model Public
A model which try to predict the stock market in China.
-
-
scala-isabelle Public
Forked from dominique-unruh/scala-isabelleA Scala library for controlling/interacting with Isabelle
Scala MIT License UpdatedApr 18, 2025 -
-
repl Public
Forked from leanprover-community/replA simple REPL for Lean 4, returning information about errors and sorries.
Lean UpdatedApr 6, 2025 -
lean-smt Public
Forked from ufmg-smite/lean-smtTactics for discharging Lean goals into SMT solvers.
-
lean-cvc5 Public
Forked from abdoo8080/lean-cvc5A Foreign Function Interface (FFI) to cvc5 solver in Lean.
Lean Apache License 2.0 UpdatedApr 5, 2025 -
pysmt Public
Forked from pysmt/pysmtpySMT: A library for SMT formulae manipulation and solving
-
-
Uncertainty-Alignment Public
Uncertainty Alignment for Regression Error Reduction
-
-
-
{{ message }}