Formalization of EasyUC in Coq

Placeholder.

Meta

• Author(s):
  • Ugur Y. Yavuz (initial)
• Additional dependencies: none
• Coq namespace: EasyUCFormalization
• Related publication(s): none

Building and installation instructions

The easiest way to install the latest released version of Formalization of EasyUC in Coq is via OPAM:

opam repo add coq-released https://coq.inria.fr/opam/released
opam install coq-easyuc-formalization

To instead build and install manually, do:

git clone https://github.com/uguryavuz/EasyUCFormalization.git
cd EasyUCFormalization
make   # or make -j <number-of-cores-on-your-machine> 
make install

Documentation

Placeholder.