GitHub / mrigankpawagi / LeanearTemporalLogic

Formalization of Linear Temporal Logic (LTL) in Lean 4.

JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mrigankpawagi%2FLeanearTemporalLogic
PURL: pkg:github/mrigankpawagi/LeanearTemporalLogic

Stars: 1
Forks: 0
Open issues: 0

License: None
Language: Lean
Size: 167 KB
Dependencies parsed at: Pending

Created at: 5 months ago
Updated at: 3 months ago
Pushed at: 3 months ago
Last synced at: 3 months ago

Topics: lean4, linear-temporal-logic, model-checking

Loading...