https://github.com/homalg-project/homalg_project
Revision dd1303c55e49019b20ed41fd78d2a6bedebffd3a authored by Fabian Zickgraf on 02 November 2022, 08:12:27 UTC, committed by Fabian Zickgraf on 02 November 2022, 08:46:33 UTC
1 parent 72c631a
History
Tip revision: dd1303c55e49019b20ed41fd78d2a6bedebffd3a authored by Fabian Zickgraf on 02 November 2022, 08:12:27 UTC
Use GAP's `DirectoryTemporary` for getting a temporary directory
Tip revision: dd1303c
File Mode Size
arrow-down.png -rw-r--r-- 423 bytes
bg_hr.png -rw-r--r-- 78 bytes
blacktocat.png -rw-r--r-- 463 bytes
homalg-project.pdf -rw-r--r-- 268.1 KB
homalgcap.png -rw-r--r-- 915.7 KB
homalgcap_black.png -rw-r--r-- 971.4 KB
homalgcap_border.png -rw-r--r-- 944.9 KB
icon_download.png -rw-r--r-- 216 bytes
logo.png -rw-r--r-- 4.2 KB
octocat-small.png -rw-r--r-- 570 bytes
sprite_download.png -rw-r--r-- 14.5 KB
thumb.png -rw-r--r-- 35.1 KB

back to top