8000 GitHub - ia0/fcc: Coq formalization of System Fcc (coercion framework) · GitHub

Repository navigation

fcc

Public

About

Coq formalization of System Fcc (coercion framework)

3 stars

1 watching

Report repository

Name		Name	Last commit message	Last commit date
coq		coq
src		src
tex		tex
README.md		README.md

Repository files navigation

Coq formalization of System Fcc

System Fcc is a kernel type system designed following a unified approach with coercions.

It is documented in my PhD: http://phd.ia0.fr/

The development is done with the 8.4pl2 version of Coq.

About

Coq formalization of System Fcc (coercion framework)

3 stars

1 watching

Report repository

Contributors

Languages

0