Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to Scala
☆14May 6, 2019Updated 7 years ago
Alternatives and similar repositories for scala-atp
Users that are interested in scala-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:
- A Logic Framework in Scala☆15Aug 13, 2015Updated 11 years ago
- Python-based HEX implementation for a fragment of the HEX language and a subset of features.☆15Jan 4, 2022Updated 4 years ago
- Code for the benchmark containing dataset, models and metrics for productive concept learning -- a kind of compositional reasoning task t…☆19Jul 22, 2021Updated 5 years ago
- ☆17Jan 4, 2021Updated 5 years ago
- An experiment around automated theorem proving in Haskell☆13Aug 2, 2026Updated 2 months 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.
- SATySFi parser writtern in Rust.☆14Apr 14, 2022Updated 4 years ago
- An automated theorem prover for first order logic.☆31Mar 23, 2017Updated 9 years ago
- Julia wrapper for the Spot LTL and automata manipulation library☆21Jan 20, 2026Updated 8 months ago
- notebooks, quizes, exams and labs for nyu psychology lab courses☆19Nov 7, 2024Updated last year
- Set of problems and solutions in Natural Deduction for use with Volker Halbach's "The Logic Manual"☆13Feb 27, 2018Updated 8 years ago
- A simple Python Binary Decision Diagram (BDD) that outputs .dot files. It can also create minimal BDDs. Should be used mostly for educati…☆14Jan 8, 2014Updated 12 years ago
- Connection provers in Rust☆14Mar 13, 2024Updated 2 years ago
- Open source F# mathematical logic library.☆13May 16, 2022Updated 4 years ago
- Code from John Harrison's "Handbook of Practical Logic and Automated Reasoning"☆19Oct 23, 2012Updated 13 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- First-order logic theorem prover supporting unification with approximate vector similarity☆14Mar 23, 2023Updated 3 years ago
- Paradoxes in Set Theory and Type Theory☆12Jul 24, 2024Updated 2 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
- Sucessor: https://github.com/thautwarm/Quick-Backend☆24Feb 6, 2020Updated 6 years ago
- Framework of DataLog Neural Program Synthesis☆27Apr 2, 2019Updated 7 years ago
- A library for program induction and learning representations.☆32Dec 18, 2023Updated 2 years ago
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 5 years ago
- Read, write and manipulate code which reads, writes and manipulates code.☆11Mar 15, 2020Updated 6 years ago
- MiniSat reimplemented in Rust☆21Apr 18, 2018Updated 8 years ago
- 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.
- List of Mastodon users that toot about programming and IT.☆25Feb 14, 2026Updated 8 months ago
- Resources to learn more about Machine Learning and Artificial Intelligence☆34Jun 3, 2021Updated 5 years ago
- Modular decomposition of directed graphs☆14Aug 25, 2026Updated last month
- ☆17Oct 8, 2014Updated 12 years ago
- A Python API for the MiniSat and MiniCard constraint solvers.☆24Jun 17, 2026Updated 4 months ago
- Datalog implementation in Scala.☆12Jun 17, 2014Updated 12 years ago
- RockIt: A query engine for Markov logic☆11May 24, 2016Updated 10 years ago
- 浅井健一『プログラミングの基礎』でプログラミングやOCamlを学ぶ。☆16May 19, 2018Updated 8 years ago
- A small profunctor library for idris☆17Nov 3, 2022Updated 3 years ago
- 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.
- A master-class in Origami - from primitive recursions to Kan-extension-based Folds☆14Nov 21, 2017Updated 8 years ago
- Proofs written in Lean4 for the core katydid validation algorithm☆18Sep 17, 2025Updated last year
- Successor project: https://github.com/thautwarm/Quick-Backend☆24Apr 26, 2019Updated 7 years ago
- Proof search for intuitionistic propositional logic using Dyckhoff's LJT.☆27Nov 27, 2023Updated 2 years ago
- backward chaining object oriented typescript inference rules engine☆12Apr 21, 2015Updated 11 years ago
- ☆20Aug 11, 2026Updated 2 months ago
- ☆20Jun 16, 2020Updated 6 years ago