/ChargeBootstrap

A simple instance of logics from the Charge! framework.

Primary LanguageCoq

Watchers