temporal-logic

Public

• NotificationsYou must be signed in to change notification settings
• Fork3 (3)
• Star11 (11)You must be signed in to star a repository

About

No description or website provided.

Topics

formal-methodsformal-proofsleantemporal-logicverification

Resources

Readme

Activity

Custom properties

Stars

11 stars

Watchers

3 watching

Forks

3 forks

Report repository

master

BranchesTags

Go to file

Code

Open more actions menu

Latest commit

 

History

89 Commits

89 Commits

Folders and files

Name		Name	Last commit message	Last commit date
src		src
test		test
.gitignore		.gitignore
.travis.yml		.travis.yml
Makefile		Makefile
README.md		README.md
check_lean_version		check_lean_version
leanpkg.toml		leanpkg.toml
setup_hooks.sh		setup_hooks.sh
View all files

Repository files navigation

temporal-logic

Build:

About

No description or website provided.

Topics

formal-methodsformal-proofsleantemporal-logicverification

Resources

Readme

Activity

Custom properties

Stars

11 stars

Watchers

3 watching

Forks

3 forks

Report repository

Releases

Packages

Contributors

Languages