Data

Tools

Indexes

Applications

Experiments

Repos

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

GitHub / jdevuyst / tableaux

Tableau-based theorem prover for public announcement logic

JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jdevuyst%2Ftableaux
PURL: pkg:github/jdevuyst/tableaux

Stars: 6
Forks: 1
Open issues: 0

License: None
Language: Clojure
Size: 211 KB
Dependencies parsed at: Pending

Created at: about 12 years ago
Updated at: about 3 years ago
Pushed at: over 10 years ago
Last synced at: about 1 month ago

Topics: clojure, modal-logic, theorem-prover

    Loading...