coursework-year3.git -

Branch	Commit message	Author	Age
geng-gen	feat: add async processor of tasks	Andrew Guschin	15 months
master	chore: merge presentation with report	Andrew Guschin	15 months
nir	feat(tables): add sqlite project file	Andrew Guschin	13 months
tectonic	Починил tex проект для компиляции через tectonic	Andrew Guschin	15 months
ui	wip	Andrew Guschin	13 months


Age	Commit message	Author
2024-09-05	Починил tex проект для компиляции через tectonictectonic	Andrew Guschin
2023-04-10	Added is_free_of, is_2_connected and thorem 3.1	Andrew Guschin
2023-04-09	Added bruteforce check for isomorphism	Andrew Guschin
2023-04-09	Added automatic derives and removed manual impl	Andrew Guschin
2023-04-09	Restructured project into multiple files	Andrew Guschin
2023-04-09	Changed structure of project and renamed binary	Andrew Guschin
2023-04-09	Final changes	Andrew Guschin
2022-06-08	Add intro and conclusion	Andrew Guschin
2022-06-08	Update documentclass and main definitions	Andrew Guschin
2022-06-08	Add new titlepage style	Andrew Guschin
[...]

Clone
https://git.vasthecat.com/coursework-year3.git