Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / SnO2WMaN / lean4-modallogic
Formalization of Modal Logic in Lean 4
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/SnO2WMaN%2Flean4-modallogic
Stars: 2
Forks: 0
Open Issues: 0
License: cc0-1.0
Language: Lean
Repo Size: 115 KB
Dependencies:
0
Created: about 1 year ago
Updated: 3 months ago
Last pushed: 3 months ago
Last synced: about 2 months ago
Topics: incompleteness, lean, lean4, logic
Files
Loading...
Readme
Loading...
No dependencies found