-
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/LLaMA-FactoryUnified 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
-
DeepSeek-Prover-V1.5 Public
Forked from deepseek-ai/DeepSeek-Prover-V1.5Python MIT License UpdatedMar 7, 2025 -
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
SMT Other UpdatedFeb 13, 2025 -
egg Public
Forked from egraphs-good/eggegg is a flexible, high-performance e-graph library
Rust MIT License UpdatedNov 12, 2024 -
-
mexprp Public
Forked from IntrepidPig/mexprpA math expression evaluation library for rust
Rust Mozilla Public License 2.0 UpdatedJul 16, 2024 -
Triple-SOS Public
Forked from ForeverHaibara/Triple-SOSAutomatic sum of square representation calculator. SOStools specialized for three variables.
Python GNU General Public License v2.0 UpdatedJul 8, 2024 -
Uncertainty-Alignment Public
Uncertainty Alignment for Regression Error Reduction
-
-
-
-
{{ message }}