https://github.com/homalg-project/homalg_project
Revision f890b3da71315b5c82aa3893a9f1f05de24c5092 authored by Mohamed Barakat on 17 August 2022, 10:14:03 UTC, committed by Mohamed Barakat on 17 August 2022, 10:47:28 UTC
1 parent 1e05735
History
Tip revision: f890b3da71315b5c82aa3893a9f1f05de24c5092 authored by Mohamed Barakat on 17 August 2022, 10:14:03 UTC
bumped version and removed doc/title.xml
Tip revision: f890b3d

README.md

back to top