Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

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

formal-methods formal-proofs lean temporal-logic verification

Last synced: about 2 months ago
JSON representation

Host: GitHub
URL: https://github.com/unitb/temporal-logic
Owner: unitb
Created: 2017-12-19T17:06:46.000Z (about 7 years ago)
Default Branch: master
Last Pushed: 2019-01-10T16:51:19.000Z (about 6 years ago)
Last Synced: 2024-08-10T14:13:06.140Z (6 months ago)
Topics: formal-methods, formal-proofs, lean, temporal-logic, verification
Language: Lean
Size: 254 KB
Stars: 8
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)