Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / marcincuber / modal_logic
Final Year Masters Project: modal logic solver tableaux
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/marcincuber%2Fmodal_logic
Stars: 21
Forks: 1
Open Issues: 0
License: None
Language: Python
Repo Size: 819 KB
Dependencies: pending
Created: over 8 years ago
Updated: 17 days ago
Last pushed: almost 2 years ago
Last synced: 17 days ago
Topics: complexity, complexity-theory, graph-algorithms, graph-theory, logic, logic-programming, modal, modal-logic, temporal-logic
Funding links: https://github.com/sponsors/marcincuber