https://github.com/notbad4u/coqlang_temporal_logic

Formalization of temporal logic in Coq
https://github.com/notbad4u/coqlang_temporal_logic

coq coq-formalization formal-proofs temporal-logic

Last synced: about 2 months ago
JSON representation

Formalization of temporal logic in Coq

• Host: GitHub
• URL: https://github.com/notbad4u/coqlang_temporal_logic
• Owner: NotBad4U
• Created: 2019-11-30T17:55:35.000Z (about 5 years ago)
• Default Branch: master
• Last Pushed: 2019-12-15T12:01:45.000Z (about 5 years ago)
• Last Synced: 2023-03-12T10:07:11.027Z (almost 2 years ago)
• Topics: coq, coq-formalization, formal-proofs, temporal-logic
• Language: Coq
• Size: 17.6 KB
• Stars: 6
• Watchers: 3
• Forks: 1
• Open Issues: 13

Awesome Lists containing this project