GitHub - avigad/formal_methods_in_education: A web page with resources for teaching with formal methods and tools.

Formal Methods in Education

Links to online resources for teaching with formal methods.

Name		Name	Last commit message	Last commit date
Latest commit History 23 Commits
_includes		_includes
_layouts		_layouts
_plugins		_plugins
assets/themes/twitter		assets/themes/twitter
.gitignore		.gitignore
Gemfile		Gemfile
License.md		License.md
Rakefile		Rakefile
ReadMe.md		ReadMe.md
_config.yml		_config.yml
index.md		index.md