Martin Kennedy c8a164d268 format: number the derivations ... We borrowed the command from https://tex.stackexchange.com/a/42728.		2025-02-17 15:01:13 -05:00
.gitignore	initialize	2025-02-11 19:12:53 -05:00
Lab1.md	content: add notes taken during the lab	2025-02-14 19:59:53 -05:00
Lab1.tex	format: number the derivations	2025-02-17 15:01:13 -05:00