OpenATP is an open-source Python package providing a common interface for Automated Theorem Proving (ATP)
☆30Oct 8, 2026Updated last month
Alternatives and similar repositories for open-atp
Users that are interested in open-atp are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13Jan 2, 2026Updated 10 months ago
- Big Data and Machine Intelligence, Spring 2021.☆12Jul 2, 2021Updated 5 years ago
- The FATE (Formal Algebra Theorem Evaluation) benchmarks.☆62Feb 23, 2026Updated 8 months ago
- Lean 4 formalization of Knuth's 'Claude's Cycles' paper☆17Aug 26, 2026Updated 2 months ago
- Example for a Monty-enabled RLM in DSPy☆20Feb 16, 2026Updated 8 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- LeanEff is a small Lean 4 extensible-effects library☆24Oct 13, 2026Updated 3 weeks ago
- The ecosystem reshaping mathematics.☆12Apr 29, 2026Updated 6 months ago
- Train a harness to improve its model-agnostic and task-env-agnostic capabilities with PyTorch-like APIs☆24Jul 20, 2026Updated 3 months ago
- The control plane for durable, dependency-aware planning and execution with AI agents.☆19Feb 18, 2026Updated 8 months ago
- ☆10May 20, 2026Updated 5 months ago
- AI-Assisted Verification of Data Structures☆26May 27, 2026Updated 5 months ago
- Formally verified 3D mesh intersection - trust 93 lines of spec, not 1000+ lines of AI-written code☆110Aug 1, 2026Updated 3 months ago
- Library for querying in-memory facts using datalog☆13May 19, 2025Updated last year
- Optimal haplotype assembly of polyploids☆10Mar 29, 2019Updated 7 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Agent learns to become the worlds top expert on SAT☆183Jun 16, 2026Updated 4 months ago
- A simple Node.js util that allows you to retrieve user's current selection text on desktop☆12Jul 5, 2024Updated 2 years ago
- ☆40Aug 20, 2026Updated 2 months ago
- using tensorflow with r☆25Nov 26, 2019Updated 6 years ago
- p4 language running on Snabb Switch (work-in-progress)☆12Feb 27, 2016Updated 10 years ago
- Typed events for EventTarget subclasses☆12Jul 18, 2022Updated 4 years ago
- A command-line tool for scripting AI-driven code edits.☆14Sep 25, 2026Updated last month
- ☆11Apr 8, 2026Updated 6 months ago
- Linkinbio that lives inside the address bar☆14Sep 18, 2026Updated last month
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Verified Extraction from Rocq to OCaml/Malfunction☆22Updated this week
- The public website for AllenNLP.☆10Feb 3, 2022Updated 4 years ago
- Hierarchical visualization for R/Shiny☆10Apr 19, 2019Updated 7 years ago
- Large lexicon for APE (~100,000 entries)☆36Nov 5, 2018Updated 8 years ago
- ☆147Updated this week
- Scientific Programming Language that compiles to Go☆13Updated this week
- R package for miscellaneous functions associated with Peter's Stats Stuff☆11Jun 17, 2023Updated 3 years ago
- A persistent self-improving memory system for Claude Code based on simple markdown files☆13Aug 14, 2026Updated 2 months ago
- Dafny verifies proofs; claimcheck confirms intent.☆34Oct 29, 2026Updated last week
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- MATLAB implementation of Gene Set Enrichment Analysis (GSEA) method for finding pathways which can show more complex relation between cha…☆10Sep 7, 2022Updated 4 years ago
- This is a base image for IBM Model Asset Exchange☆12Sep 15, 2026Updated last month
- Neovim as an IDE tightly integrated with Claude Code: file tree with live change badges, inline diffs with old code, automatic project sn…☆16Jul 18, 2026Updated 3 months ago
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆88Jul 26, 2026Updated 3 months ago
- Turn your GitHub stargazers into cinematic 1600x900 social cards and 60fps MP4 loops directly in your browser.☆19Oct 28, 2026Updated last week
- Blend Codex headless into Claude Code's Workflow (ultracode) orchestration — cross-model adversarial verification, judge panels with a Co…☆13Jul 17, 2026Updated 3 months ago
- Svelte action to drop an element outside an area☆12Mar 25, 2026Updated 7 months ago