| http://www.w3.org/ns/prov#value | - Zombie is a different kind of dependently typed language, eschewing automatic ??-reduction in the type checker for an approach based on explicit equality rewriting, which enables new ways of combining proofs and programs, as well as new forms of proof automation.
|
