Skip to content

Dexter 2: Proof for ep_default correct.

Colin González requested to merge colin-dexter_fa12lqt-verification into dexter_fa12lqt-verification

Proof for default entry point.

Edited by Arvid Jakobsson

Merge request reports