emsenn

Tag: programming-languages

4 items with this tag.

Mar 01, 2026
Agda
Mar 01, 2026
Lean
Mar 01, 2026
agda
Jan 08, 2026
lean

Notes written in Obsidian, webpages generated by Quartz, website hosted by Neocities, supported by reader donations.