News for hackers. Stuff that matters.
Re:The LaTeX Font Catalogue by arnarbi on Thursday July 22, 2021 @01:38PM (#27921883)
Here's an old thesis (of mine) in CS, with a bunch of inference rules, proofs, etc. (Ignore the standardized front matter of ~5 pages)

https://skemman.is/bitstream/1946/7418/1/MSc_Arnar-Birgisson...

There are no comments on this comment yet.