"git@ic-gitlab.epfl.ch:lara/lisa.git" did not exist on "ee791ebd3ad1253815a8172b14deff4b33fe3d97"
Finished the implementation of the new substitutions mechanism and made all existing proofs compatible, compiling and passing all tests again.
Name | Last commit | Last update |
---|---|---|