mathematical-tools.git/tutorial_1.typ, branch master Notes for HUJI course 67865 - Mathematical Tools in Computer Science. Suggestions for corrections should be sent as patches via email I'm unhappy with it, the formal one is better 2026-10-15T18:29:31+00:00 8oldr 8oldr@proton.me 2026-10-15T18:29:31+00:00 cbc7088a3782d83e22f638786bc539d4e3a3a47e