marcincuber / modal_logicLinks
Final Year Masters Project: modal logic solver tableaux
☆23Updated 3 years ago
Alternatives and similar repositories for modal_logic
Users that are interested in modal_logic are comparing it to the libraries listed below
Sorting:
- Python term rewriting☆29Updated 12 years ago
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆48Updated last week
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated 11 months ago
- ☆19Updated 8 years ago
- Lambda Notebook: Formal Semantics in Jupyter☆27Updated 2 months ago
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 4 years ago
- A lightweight Description Logic reasoner for large-scale biomedical ontologies☆18Updated last month
- Modification to Coq to record intermediate proof states encountered during a proof☆8Updated 6 years ago
- GQR, a Fast Reasoner for Binary Qualitative Constraint Calculi☆17Updated 7 years ago
- Primary implementation of the Venture probabilistic programming system☆27Updated 5 years ago
- A rule engine based on Attempto Controlled English☆18Updated 7 months ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆25Updated 11 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- The semantics of Java in K☆19Updated 3 years ago
- An open bibliography of machine learning for formal proof papers☆32Updated last year
- The semantics of Python in K☆21Updated 11 years ago
- Incremental Learning Event Definitions☆14Updated 9 years ago
- Bidirectional transformation for Relational view update Datalog-based Strategies☆21Updated last year
- ☆13Updated 3 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 7 years ago
- ☆26Updated 3 years ago
- A collection of (public) specifications in different formalisms.☆18Updated last year
- This project contains various supporting libraries for lean to reason about protocols.☆43Updated 7 years ago
- Benchmark Suite for Interpretable Rule Learning☆12Updated 4 years ago
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆34Updated 12 years ago
- Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on☆22Updated last year
- deep learning for math☆30Updated 6 years ago
- An interface to SAT solver tools (like minisat)☆60Updated 2 years ago
- generative programming & verification☆33Updated last week
- Benchmark problems for different models of automata, transducers, and related logics☆30Updated 8 months ago