GitHub repository: Hlizzzzz/reachout_math
Primary language: Coq
Description: internship on making more easily accessible formalized mathematics using Coq