Mitchell Is Typing

mvr.github.io

A personal academic website focused on dependent type theory, featuring posts, projects, and academic information.

why we picked it

A personal academic site sharing writing on dependent type theory and related mathematics, including a recent post on geometric type theory.

Checked with Google Web Risk · 1 hour ago

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