https://bitbucket.org/pl-uwr/strategies/src/master/
Tip revision: be43f257bc689df82ae10e322c855cd828149ae1 authored by Tomasz Drab on 08 February 2022, 13:12:42 UTC
Initial commit
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 |