GitHub repository: lawrencecpaulson/lawrencecpaulson.github.io
Primary language: Isabelle
Created: 2021-08-09T13:17:14Z
Description: the blog "Machine Logic"