GitHub repository: quinn-dougherty/gtf
Primary language: Coq
Created: 2022-10-18T04:38:26Z
Description: Drafting potential executable textbook