GitHub repository: ybertot/reachout_math
Primary language: Coq
Created: 2022-06-20T08:09:28Z
Description: internship on making more easily accessible formalized mathematics using Coq