blog posts

• July 22, 2022

  Draft Type Theory and Formal Proof

• May 21, 2020

  Draft Logical Foundation

• February 23, 2019

  Draft Scheme Learning Notes