Python scripts that provide an interface to work with classical propositional and first-order logic, based on my solutions to the textbook Mathematical Logic Through Python by Nisan and Gonczarowski
☆24Oct 2, 2025Updated last year
Alternatives and similar repositories for Mathematical-Logic-Through-Python
Users that are interested in Mathematical-Logic-Through-Python are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Macroeconomic Foundations for Asset Prices, an undergrad course at NYU☆16Dec 16, 2015Updated 10 years ago
- Python for Mathematics: A book aimed at undergraduate mathematicians learning python☆26Jun 2, 2026Updated 5 months ago
- A simple text editor written in OCaml☆14Nov 10, 2023Updated 2 years ago
- Discover Common Lisp open-source contributors and their best contributions! Add yourself!☆17Sep 15, 2025Updated last year
- ☆11May 1, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Rust wrapper for the cld2 language detection library.☆16Nov 28, 2017Updated 8 years ago
- ☆11Jun 4, 2026Updated 4 months ago
- A wireframe renderer written in OCaml☆21Oct 18, 2023Updated 3 years ago
- DuckDB extension to export Delta Lake metadata from DuckLake☆12Oct 21, 2026Updated 2 weeks ago
- TypeDB Behaviour Test Specification☆16Updated this week
- ☆20Mar 7, 2019Updated 7 years ago
- sorear's Metamath system engine☆14May 5, 2016Updated 10 years ago
- Small tool to run applications not compatible with ASLR mechanism (for MacOS)☆10Dec 1, 2021Updated 4 years ago
- Educational relational DBMS☆12Jan 15, 2026Updated 9 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.
- JSON representation of first-order logic formulas☆13Aug 30, 2020Updated 6 years ago
- Connecting bv_decide to SMTLIB.☆19Oct 19, 2026Updated 2 weeks ago
- CSE341: Programming Languages☆13Nov 22, 2019Updated 6 years ago
- ☆18Feb 4, 2025Updated last year
- a plugin for SimonW llm CLI which analyses diffs in a local git repository , generates commit messages in an interactive prompt & commits☆20Jun 27, 2025Updated last year
- The website for the AdvancedResearch community☆22Oct 27, 2026Updated last week
- An automatic differentiation system for dense and sparse problems☆13Jan 16, 2025Updated last year
- A simple SQL parser based on Apache Calcite.☆14May 8, 2026Updated 5 months ago
- Option, Try, Either, and some more common basic DataTypes☆13Jul 1, 2023Updated 3 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.
- Crate for reading TPTP files.☆16May 11, 2022Updated 4 years ago
- Propositional logic with exponentials☆23Oct 23, 2026Updated last week
- sorear's Metamath system engine - version 3 Rust☆25May 31, 2023Updated 3 years ago
- A parser of relational predicate logic & truth tree solver, written in Rust.☆21May 1, 2019Updated 7 years ago
- Extensible Emacs-like text editor with Guile☆51Nov 16, 2024Updated last year
- Optimizing Tensor Computation Graphs with Equality Saturation and Monte Carlo Tree Search☆15Aug 9, 2024Updated 2 years ago
- Graph Theory [maintainers=@chdoc,@damien-pous]☆45May 6, 2026Updated 5 months ago
- fanuc mtconnect adapter☆12Jan 22, 2016Updated 10 years ago
- A Drools-like rule engine written from the ground up in Dart and available as Flutter plugin☆22Apr 3, 2022Updated 4 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.
- AST export from Lean 4☆18Jul 25, 2024Updated 2 years ago
- raylib guile bindings for my good friend jacob's birthday☆40May 4, 2024Updated 2 years ago
- A Clojure library for deconstructing Korean unicode syllable characters into alphabet characters☆10Nov 22, 2021Updated 4 years ago
- My lecture notes for modern mathematics, including topics like set theory, advanced calculus, topology, linear algebra and abstract algeb…☆11Jun 29, 2026Updated 4 months ago
- A rust implementation of Andrej Karpathy's Micrograd☆15Apr 28, 2025Updated last year
- ☆13May 1, 2026Updated 6 months ago
- Linear Regression for Julia☆10Jun 1, 2023Updated 3 years ago