https://github.com/julian-tschannen/autoproof
History
Tip revision: 36b5c463f8ecea19ca7750a7012a6de09248f579 authored by double-blind on 03 March 2015, 18:01:29 UTC
update to AutoProof tutorial
Tip revision: 36b5c46
File Mode Size
other
repo
tutorial
README.md -rw-r--r-- 552 bytes

README.md

back to top