https://github.com/unitb/temporal-logic

https://github.com/unitb/temporal-logic

formal-methods formal-proofs lean temporal-logic verification

Last synced: 17 days ago
JSON representation

• Host: GitHub
• URL: https://github.com/unitb/temporal-logic
• Owner: unitb
• Created: 2017-12-19T17:06:46.000Z (about 8 years ago)
• Default Branch: master
• Last Pushed: 2019-01-10T16:51:19.000Z (about 7 years ago)
• Last Synced: 2024-11-29T14:40:47.819Z (about 1 year ago)
• Topics: formal-methods, formal-proofs, lean, temporal-logic, verification
• Language: Lean
• Size: 254 KB
• Stars: 9
• Watchers: 4
• Forks: 3
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
# temporal-logic

Build: [![Build Status](https://travis-ci.org/unitb/temporal-logic.svg?branch=master)](https://travis-ci.org/unitb/temporal-logic)