ILLC MoL Thesis
Feb 11, 2025
I ported the official Master of Logic thesis template from \(\LaTeX\) to Typst. It is available on Typst Universe. The project’s repository is online here.
Related entries
- Jan 21, 2025 Color My Agda
- Oct 27, 2024 Impredicative Encodings of Higher (Co)Inductive Types
- Jul 19, 2023 On Term Rewriting in Presence of Probabilistic Effects