GitHub repository: GKerfImf/YC_in_Coq
Primary language: Coq
Description: Formalization of some parts of YC