☆41Aug 19, 2026Updated 2 months ago
Alternatives and similar repositories for sendov
Users that are interested in sendov are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Lean 4 / Mathlib formalization of Coarse-Graining Theory for Elliptic Equations (Armstrong and Kuusi). No sorry, no custom axiom.☆17Oct 5, 2026Updated last month
- ☆19Oct 28, 2026Updated last week
- A Lean 4 formalization of Chen's theorem (Goldbach 1+2).☆22Updated this week
- Suggested conventions and examples for Lean formalization of IMO problem statements☆18Nov 2, 2026Updated last week
- Lean formalization of the smooth and topological Poincare conjectures following Morgan and Tian.☆15Oct 5, 2026Updated last month
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Still working on improving this!☆16Oct 16, 2026Updated 3 weeks ago
- Formal prime certificates in Lean 4☆12Updated this week
- Interesting ATP Proofs☆13Sep 3, 2021Updated 5 years ago
- Mozi Lean Copilot VS Code Extension☆11Jan 7, 2026Updated 10 months ago
- Results for the lean-eval benchmark (https://github.com/leanprover/lean-eval)☆29Nov 2, 2026Updated last week
- Verifying curve25519-dalek using Lean☆14Updated this week
- Verified interval arithmetic for Lean 4 — prove bounds on exp, sin, cos, find roots, all machine-checked☆50Updated this week
- ☆14Oct 30, 2025Updated last year
- Lean formalization work extending the matrix multiplication 9/4 argument to arbitrary fields☆29Oct 9, 2026Updated last month
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A formalization of the resolution of the Hopf problem: the six-sphere admits a complex manifold structure compatible with its standard to…☆87Aug 30, 2026Updated 2 months ago
- Formalisation of statements of recent theorems from the Annals of Mathematics.☆32Aug 13, 2026Updated 2 months ago
- Lean formalization of bounded gaps between primes☆49Aug 18, 2026Updated 2 months ago
- AI for Mathematics Paper List☆18Jan 14, 2025Updated last year
- An algorithm for clonal tree reconstruction from multi-sample cancer sequencing data☆14Apr 1, 2018Updated 8 years ago
- Analysis tools and models of mouse behavior in a two-armed bandit task as described in Beron et al., 2022☆11Jan 20, 2023Updated 3 years ago
- Generic interface for hooking up to any Interactive Theorem Prover (ITP) and collecting data for training ML models for AI in formal theo…☆20Jul 10, 2026Updated 3 months ago
- Formalization of IMO shortlist problems in Lean 4☆27Oct 14, 2026Updated 3 weeks ago
- Tools for participants in the ICGC-TCGA DREAM Mutation Calling challenge☆15Dec 10, 2015Updated 10 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- finding new ramsey bounds through scaling autoresearch☆50May 13, 2026Updated 5 months ago
- ☆23Jan 14, 2026Updated 9 months ago
- A proof of Conway's refinement conjecture in Lean☆56Sep 3, 2026Updated 2 months ago
- ☆15Feb 25, 2017Updated 9 years ago
- ☆87Jul 25, 2026Updated 3 months ago
- A trie data structure implemented in OCaml☆10Feb 8, 2012Updated 14 years ago
- Miscellaneous functionality for manipulating Apache Spark RDDs.☆22Dec 29, 2018Updated 7 years ago
- ☆38Jul 3, 2026Updated 4 months ago
- A graph-engineering agent harness for long-horizon, research-level autoformalization.☆32Jul 8, 2026Updated 4 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆33Jul 22, 2025Updated last year
- AI Agentic Research System for Computational Mathematics☆66Aug 9, 2026Updated 3 months ago
- Plain-text declaration export for Lean 4☆49Oct 14, 2026Updated 3 weeks ago
- Transform GGB's messy TikZ exports into clean, ready-to-use code for your .tex files. One click and you're done!☆15Jun 1, 2026Updated 5 months ago
- Code2Bench: Scaling Source and Rigor for Dynamic Benchmark Construction☆10Feb 6, 2026Updated 9 months ago
- Java Bindings (JNI) for bwa☆22Dec 15, 2016Updated 9 years ago
- Efficient base quality score recalibrator for NGS data☆24Nov 28, 2015Updated 10 years ago
Are these results useful?