Name		Name	Last commit message	Last commit date
Latest commit History 7 Commits
public/images		public/images
views		views
README.md		README.md
main.rb		main.rb
server.rb		server.rb
test_sin.rb		test_sin.rb
testfile.html		testfile.html
testy.rb		testy.rb
trash.rb		trash.rb

Repository files navigation

temporal-logic

Web application that proves any temporal logic formulas

TODO:

tests, tests, tests
temporal logic ;)
sasa

About

Web application that proves any temporal logic formulas

Report repository

Releases

No releases published

Packages

Contributors

Languages

Ruby 100.0%