Giters
NotBad4U
/
coqlang_temporal_logic
Formalization of temporal logic in Coq
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
6
Watchers:
3
Issues:
14
Forks:
1
NotBad4U/coqlang_temporal_logic Issues
Use coqlang module to export axiomatic system
Updated
4 years ago
Add since and until temporal operator
Updated
4 years ago
Add next time operator missing proof
Updated
4 years ago
Axiomatic system Rt - Complete
Updated
4 years ago
Axiomatic system Qt - Dense
Updated
4 years ago
Axiomatic system Zt - Inductive
Updated
4 years ago
Axiomatic system Lt - linear
Updated
4 years ago
Axiomatic system S4t - reflexive
Updated
4 years ago
Axiomatic system K4t - transitive
Updated
4 years ago
Axiomatic system Kt - minimal
Updated
4 years ago
Comments count
1
Axiomatic system Nt - Well Ordering
Updated
4 years ago
Add past operators
Updated
4 years ago
Axiomatic system N
Updated
4 years ago
fix nnpp Lemma declaration
Closed
4 years ago