#

theorem-provers

Here are 2 public repositories matching this topic...

py-typedlogic / py-typedlogic

Logic plus python types

python logic prolog datalog z3 common-logic clingo answer-set-programming owl-dl souffle clif description-logic theorem-provers linkml

Updated Nov 12, 2024
Python

sushmaakoju / demo-ATLS5214

Exploratory self-study to learn about Theorem Provers and Turing Completeness.

first-order-logic turing-completeness theorem-provers

Updated Mar 8, 2024
Jupyter Notebook

Improve this page

Add a description, image, and links to the theorem-provers topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the theorem-provers topic, visit your repo's landing page and select "manage topics."