Welcome to
Logic Verse

I am a C++ enthusiast who likes maths, homotopy type theory, template metaprogramming and all the intricacies of formal specifications of programming languages and mathematical foundations.

Article list

Type theory and programming language theory

Propositions as types
Categorical semantics of type theories
Homotopy type theory and univalent foundations (IN CONSTRUCTION)

Mathematics

Introduction to differential geometry (IN CONSTRUCTION)

Internet and Philosophy

Mereological nihilism as a description of reality (UNCOMPLETED)
Topos theory and Logic

Last modified :