"src/main/git@ic-gitlab.epfl.ch:lara/inox.git" did not exist on "015d1721771eac608c026f0d0ce40fd3e79c8dd0"
-
SimonGuilloud authored
* IMplement Sorry proof step * Sorry propagates through the DSL. Theorem print themselves, Lemmas and Corollaries don't. Theorems rellying on Sorry have a warning and are printed in yellow.
SimonGuilloud authored* IMplement Sorry proof step * Sorry propagates through the DSL. Theorem print themselves, Lemmas and Corollaries don't. Theorems rellying on Sorry have a warning and are printed in yellow.