Data

Tools

Indexes

Applications

Experiments

Repos

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

GitHub / hjbolus / Mathematical-Logic-Through-Python

Python package that provides 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

JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/hjbolus%2FMathematical-Logic-Through-Python

Stars: 6
Forks: 3
Open issues: 0

License: None
Language: Python
Size: 517 KB
Dependencies parsed at: Pending

Created at: almost 2 years ago
Updated at: 9 days ago
Pushed at: 9 days ago
Last synced at: 9 days ago

Topics: logic, logic-programming, logical-operators, logical-programming, mathematical-logic, philosophical-logic, predicate-calculus, predicate-logic, propositional-calculus, propositional-logic, propositional-proof-system

    Loading...