emsenn

Tag: FormalVerification

2 items with this tag.

Mar 01, 2026
SKILL
- Agda
- FormalVerification
Mar 01, 2026
SKILL
- Lean
- FormalVerification

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