Skip to content

More Coq translation of proto k

Guillaume Claret requested to merge guillaume-claret@more-translation-of-proto-k into master

In this MR we remove some axiom of the translation to Coq of the protocol K.

Edited by Guillaume Claret

Merge request reports