https://github.com/terrematte/trylogic
Tip revision: 285811c304b39256d59b749dd7f92a0f8fb2df46 authored by Patrick Terrematte on 24 May 2021, 01:21:54 UTC
Updating lessons on Trylogic.
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 |