aboutsummaryrefslogtreecommitdiff
path: root/tuto2/_CoqProject
AgeCommit message (Expand)Author
2018-05-07fix some detailsMatej Košík
2018-05-07add some more material (preliminary provided in "tuto2" directory)Matej Košík
generated by cgit v1.2.3 (git 2.25.1) at 2026-10-08 03:49:03 +0000