Tanner Duve

tannerduve.github.io

Personal homepage of Tanner Duve, a proof engineer and logician, with sections for a blog, coursework, and talks on formal verification, programming languages, and related topics.

why we picked it

This personal site offers notes and resources from a proof engineer's perspective on formal verification, programming languages, and logic. It is a useful stop for anyone interested in those technical subjects.

Checked with Google Web Risk · 2 hours ago

Visit tannerduve.github.io ↗ ♡ Save ↻ Surf somewhere else

language: EN
here since: August 2026