GitHub repository: sudgy/math-from-nothing
Primary language: Coq
Created: 2021-08-10T01:43:41Z
Description: Developing mathematics in Coq from the ground up