Coq formalization of System Fcc (coercion framework)
Primary LanguageCoq
No issues in this repository yet.