a collection of Gymnasium environments for saturation provers
☆24Dec 25, 2025Updated 10 months ago
Alternatives and similar repositories for gym-saturation
Users that are interested in gym-saturation 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 client for Isabelle server (https://isabelle.in.tum.de)☆14Jun 20, 2026Updated 4 months ago
- Crate for reading TPTP files.☆16May 11, 2022Updated 4 years ago
- Custom SpMM operations integrated into PyTorch☆11Apr 15, 2022Updated 4 years ago
- LLVM's loop analysis theory (Scalar Evolution) formalized in Coq☆10Nov 17, 2018Updated 7 years ago
- [TPAMI] "Symbolic Visual Reinforcement Learning: A Scalable Framework with Object-Level Abstraction and Differentiable Expression Search"…☆18Jan 4, 2023Updated 3 years 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.
- A DSL for formal verification of hardware and software systems using Rocq/Coq.☆13Updated this week
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆64Jan 26, 2024Updated 2 years ago
- ☆14May 7, 2026Updated 5 months ago
- An expressive language for discrete probabilistic programming with lazy knowledge compilation☆18Jul 27, 2026Updated 3 months ago
- Trial Reasoner for AI that Learns☆18Sep 17, 2025Updated last year
- MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)☆17Dec 19, 2023Updated 2 years ago
- Lean formalization of selected lemmas from "Term Rewriting and All That"☆18Apr 20, 2026Updated 6 months ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Feb 2, 2026Updated 9 months ago
- My Blog☆18Oct 17, 2026Updated 2 weeks 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.
- Operations with matrices, SWI pack☆13Dec 11, 2023Updated 2 years ago
- Python talking to the Lean theorem prover☆46Aug 25, 2021Updated 5 years ago
- Multiple approaches to statistical simulation for computer architects☆15Jun 1, 2020Updated 6 years ago
- A Declarative Theorem Prover for First-Order Classical Logic☆32Jun 14, 2024Updated 2 years ago
- ☆23Jan 14, 2026Updated 9 months ago
- A simple BDD library for OCaml☆13May 20, 2025Updated last year
- an optimizing curry compiler☆15Nov 27, 2022Updated 3 years ago
- Python bindings for the Coq interactive proof assistant☆57Jan 10, 2022Updated 4 years ago
- DeepAlgebra☆26Oct 26, 2017Updated 9 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- work in progress, playing around with btor2 in rust☆16Updated this week
- A simple image viewer in Common Lisp.☆38May 17, 2026Updated 5 months ago
- My Emacs configuration.☆12Mar 20, 2026Updated 7 months ago
- ☆16Jul 3, 2023Updated 3 years ago
- a Carpentries-style lesson introducing the basics of data visualization☆11Oct 27, 2026Updated last week
- An environement builder for hierarchical reasoning research☆27Mar 19, 2026Updated 7 months ago
- Cross platform Instant Outbidding Bot, Instant Outbidder Bot is designed to outbid all real-time bids within a second by percentage incre…☆100Jan 17, 2023Updated 3 years ago
- Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions☆20Jul 5, 2026Updated 3 months ago
- ☆13Apr 2, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A portable parser combinator library that does not require a runtime☆13Sep 16, 2019Updated 7 years ago
- Formalizing the Intel 4004 microprocessor☆26Jul 14, 2026Updated 3 months ago
- Hy macros for Hypothesis framework☆14Aug 23, 2023Updated 3 years ago
- A high-throughput, parameterized, parallel crc hardware implementation.☆12Jun 2, 2024Updated 2 years ago
- Building your GPT-based private knowledge hub using zkSNARK & PLONK☆13Jun 20, 2023Updated 3 years ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆33Oct 3, 2025Updated last year
- ☆18Sep 14, 2021Updated 5 years ago