Name		Name	Last commit message	Last commit date
Latest commit History 89 Commits
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: