https://bitbucket.org/pl-uwr/strategies/src/master/
History
Tip revision: be43f257bc689df82ae10e322c855cd828149ae1 authored by Tomasz Drab on 08 February 2022, 13:12:42 UTC
Initial commit
Tip revision: be43f25
File Mode Size
main
.gitignore -rw-r--r-- 121 bytes
README.md -rw-r--r-- 587 bytes
_CoqProject -rw-r--r-- 176 bytes
draw_coqdeps.hs -rw-r--r-- 1.6 KB
make.sh -rwxr-xr-x 84 bytes
run_coqide.sh -rwxr-xr-x 228 bytes

README.md

back to top