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

Repository files navigation

temporal-logic

Build:

About

No description or website provided.

formal-methods formal-proofs lean temporal-logic verification

Custom properties

10 stars

3 watching

Report repository

Releases

Packages

Contributors

Languages