Skip to main content

Browse the archive

Revision 4dbdb882173b2db5e6b446732df70b3e0676e495 authored by Pierre-Yves Strub on 26 May 2021, 07:20:22 UTC, committed by Pierre-Yves Strub on 26 May 2021, 07:20:22 UTC 
Extend cloning with
 
 - inline but keep override (<=)
 - override theories
1 parent 16e5d3b
Raw File
easycrypt.png
image
back to top