emsenn

Tag: ProgrammingLanguages

4 items with this tag.

Mar 01, 2026
Agda
- ProgrammingLanguages
- FormalMethods
Mar 01, 2026
Lean
- ProgrammingLanguages
- FormalMethods
Mar 01, 2026
agda
- FormalMethods
- ProgrammingLanguages
Jan 08, 2026
lean
- FormalMethods
- ProgrammingLanguages

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