/systemfc

A formalization of System Fc in Coq

This repository is not active