Coq code

Some code and formalisation

Last updated: 2017-06-18 Sun 23:31

Emacs 25.1.1 (Org mode 9.0.5)

Validate