LEAN4 AUTO YOUTUBE LIVING
☆71Jul 30, 2026Updated this week
Alternatives and similar repositories for automath
Users that are interested in automath are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆16Mar 28, 2026Updated 4 months ago
- Your all-in-one platform for creating, managing, and deploying AI agents.☆27Feb 10, 2026Updated 5 months ago
- Structured data extraction and programmatic interaction with Lean 4.☆20May 7, 2026Updated 2 months ago
- MathCode: A Frontier Mathematical Coding Agent☆585Jun 15, 2026Updated last month
- Marketplace ML experiment - training without backprop☆28Sep 9, 2025Updated 10 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- AST export from Lean 4☆17Jul 25, 2024Updated 2 years ago
- A cookbook for Metaprogramming in Lean4 containing code snippets to help you code!☆18Apr 22, 2026Updated 3 months ago
- ☆111Jul 27, 2026Updated last week
- A Zero Knowledge Secure Remote Password Protocol wrapper for NetMQ dealer router.☆12Jun 25, 2020Updated 6 years ago
- Research code base for Automatic Textbook Formalization☆161Mar 31, 2026Updated 4 months ago
- Margin Trading Platform☆10Jan 31, 2024Updated 2 years ago
- Get information out of your code at runtime to send it to log files, perf counters, consoles, services, sensors. Maximum flexibility and …☆13Jun 22, 2022Updated 4 years ago
- ☆16Jun 15, 2026Updated last month
- Various C# utilities used by Frenetic LLC.☆16Jun 1, 2026Updated 2 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 古典著作自动化分析管线 — Omega 数学理论 × AI × 社交网络自动发布☆18Jun 16, 2026Updated last month
- OpenConjecture, a dataset of mathematics conjectures pulled from papers published to the ArXiv☆16Jul 12, 2026Updated 3 weeks ago
- Official Project Page for HLA: Higher-order Linear Attention (https://arxiv.org/abs/2510.27258)☆102Jun 15, 2026Updated last month
- Lean formalizations for the paper "On the paucity of lattice triangles"☆19Mar 26, 2026Updated 4 months ago
- ☆180Apr 24, 2026Updated 3 months ago
- A demo of AgentOS2-Live showing end-to-end voice control of an OrionStar robot and extensible scene applications.☆21Jan 18, 2026Updated 6 months ago
- Minimal open-source implementation of AlphaProof and HyperTree Proof Search.☆87May 13, 2026Updated 2 months ago
- ☆15Jun 4, 2019Updated 7 years ago
- ☆22Jan 21, 2026Updated 6 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Formalization of the Millennium Problems in Lean 4☆59Jul 11, 2026Updated 3 weeks ago
- Extract a single expert from a Mixture Of Experts model using slerp interpolation.☆19May 26, 2024Updated 2 years ago
- this bot will help get more followers than ever -python☆11Apr 2, 2017Updated 9 years ago
- 宇宙本论论 ：你我本无缘, 你我皆一体 , 向由心生, 善缘结善果☆68Jun 13, 2025Updated last year
- ☆31Updated this week
- Automated Theorem Prover inspired by Aletheia. Claude Code for mathematicians.☆83Jul 13, 2026Updated 3 weeks ago
- Review and audit smart contracts with AI☆13Feb 9, 2024Updated 2 years ago
- 🎨 Create visual AI workflows with Tapnow Studio, a browser-based tool that combines powerful AI capabilities in a single, interactive no…☆17Jul 27, 2026Updated last week
- zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements☆34May 4, 2026Updated 2 months 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.
- An embeddable IoC container in a single C# file, with support for extensibility and conventions☆19Jun 16, 2025Updated last year
- Verified Extraction from Rocq to OCaml/Malfunction☆17Jun 3, 2026Updated 2 months ago
- ☆19Jan 20, 2025Updated last year
- ☆24Nov 19, 2024Updated last year
- ☆78Apr 26, 2026Updated 3 months ago
- Electron shell for mrmd - Zen Markdown Editor with real-time collaboration☆37Mar 20, 2026Updated 4 months ago
- This Extensible Stylesheet Language Transformations can transform a xUnit.net v2 XML test results file into a JUnit test results file.☆20Updated this week