Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

Topic: "theorem-provers"

py-typedlogic/py-typedlogic

Logic plus python types

Language: Python - Size: 5.04 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 12 - Forks: 1

sushmaakoju/demo-ATLS5214

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

Language: Jupyter Notebook - Size: 2.39 MB - Last synced at: about 20 hours ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

Related Topics
answer-set-programming 1 clif 1 clingo 1 common-logic 1 datalog 1 description-logic 1 linkml 1 logic 1 owl-dl 1 prolog 1 python 1 souffle 1 z3 1 first-order-logic 1 turing-completeness 1