User:Univalence

Interested in foundations and mathematical logic, decent knowledge of type theory and proof assistants.