https://github.com/terrematte/trylogic
History
Tip revision: 285811c304b39256d59b749dd7f92a0f8fb2df46 authored by Patrick Terrematte on 24 May 2021, 01:21:54 UTC
Updating lessons on Trylogic.
Tip revision: 285811c
File Mode Size
trylogic_imslti
trylogic_proofweb
trylogic_tutorial
.gitignore -rw-r--r-- 876 bytes
README.md -rw-r--r-- 401 bytes

README.md

back to top