Data

Tools

Indexes

Applications

Experiments

Repos

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

GitHub topics: common-logic

py-typedlogic/py-typedlogic

Logic plus python types

Language: Python - Size: 5.02 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 9 - Forks: 1

Related Keywords
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 theorem-provers 1 z3 1