/fcc

Coq formalization of System Fcc (coercion framework)

Primary LanguageCoq

Watchers