Skip to content
Snippets Groups Projects
user avatar
SimonGuilloud authored
Finished the implementation of the new substitutions mechanism and made all existing proofs compatible, compiling and passing all tests again.
ee791ebd
History
Name Last commit Last update