Connection provers in Rust
☆14Mar 13, 2024Updated 2 years ago
Alternatives and similar repositories for cop-rs
Users that are interested in cop-rs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An automated theorem prover for intuitionistic propostional logic☆14Sep 21, 2020Updated 6 years ago
- Python scripts that build optimal routes for node collection☆14Updated this week
- A modern configuration and serialization language with variables, expressions, and dynamic runtime evaluation☆14Nov 11, 2025Updated 11 months ago
- ☆12Jul 25, 2024Updated 2 years ago
- MiniSat reimplemented in Rust☆21Apr 18, 2018Updated 8 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.
- Replaces more and more of the web until you realize that this is not the true reality, and also that there is no truth.☆16Jul 6, 2024Updated 2 years ago
- Calculus of Constructions Implementation☆17Dec 20, 2019Updated 6 years ago
- An experiment around automated theorem proving in Haskell☆13Aug 2, 2026Updated 3 months ago
- Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to Scala☆14May 6, 2019Updated 7 years ago
- Autonomous Theorem Prover for First Order Predicate Logic☆12Jun 29, 2020Updated 6 years ago
- An implementation of substructural intuitionistic logic focused on forward chaining☆15Oct 16, 2013Updated 13 years ago
- SATySFi parser writtern in Rust.☆14Apr 14, 2022Updated 4 years ago
- Yet another haskell term rewriting library☆18Aug 27, 2025Updated last year
- from ftp://ftp.informatik.uni-kiel.de/pub/kiel/apply/☆20Jul 7, 2016Updated 10 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Code resources from John Harrison's "Handbook of Practical Logic and Automated Reasoning"☆12May 9, 2021Updated 5 years ago
- Open source F# mathematical logic library.☆13May 16, 2022Updated 4 years ago
- This repo contains code that generates minsat input to detect if the board game Quarto can end in a tie☆14Nov 22, 2015Updated 10 years ago
- Set of problems and solutions in Natural Deduction for use with Volker Halbach's "The Logic Manual"☆13Feb 27, 2018Updated 8 years ago
- Reference sheet for people who know Lean 3 and want to write tactic-based proofs in Lean 4☆28Oct 13, 2025Updated last year
- Crate for reading TPTP files.☆16May 11, 2022Updated 4 years ago
- 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
- Implementation of the Metropolis algorithm in the Rust programming language☆21May 12, 2019Updated 7 years ago
- Online platform to enable Logic students to write, verify, and store System L style Natural Deduction proofs with real-time proof-checkin…☆13May 23, 2018Updated 8 years 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.
- An automated theorem prover for first order logic.☆31Mar 23, 2017Updated 9 years ago
- Brunch is a very simple Rust micro-benchmark runner.☆31Oct 1, 2026Updated last month
- Lightweight and simple Rust based file scanner☆14Mar 4, 2026Updated 7 months ago
- Comprehensive and reproducible benchmarks for Go developers and architects.☆14Apr 8, 2026Updated 6 months ago
- First-order logic theorem prover supporting unification with approximate vector similarity☆14Mar 23, 2023Updated 3 years ago
- Code from John Harrison's "Handbook of Practical Logic and Automated Reasoning"☆19Oct 23, 2012Updated 14 years ago
- A trie data structure implemented in OCaml☆10Feb 8, 2012Updated 14 years ago
- プログラミングの初歩を学んでもらうための無料教材☆14Sep 28, 2021Updated 5 years ago
- Frida plugin for Binary Ninja☆20Jan 12, 2025Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Automatic theorem proving via natural language reasoning with LLMs☆23May 16, 2025Updated last year
- Code2Bench: Scaling Source and Rigor for Dynamic Benchmark Construction☆10Feb 6, 2026Updated 8 months ago
- A Python program that tries to prove a statement given a set of propositions in first order logic.☆10Jul 13, 2015Updated 11 years ago
- Vermilion: Verus meets Lean☆63Updated this week
- Lean formalization of the smooth and topological Poincare conjectures following Morgan and Tian.☆14Oct 5, 2026Updated 3 weeks ago
- Implementation of Polymorphic Gradual Typing☆12Sep 16, 2018Updated 8 years ago
- Lollimon, a monadic concurrent linear logic programming language☆28Oct 14, 2011Updated 15 years ago