emsenn

Tag: formal-verification

2 items with this tag.

  • Mar 01, 2026

    SKILL

    • proof-assistant
    • agda
    • formal-verification
  • Mar 01, 2026

    SKILL

    • proof-assistant
    • lean
    • formal-verification

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