Test reduction and error from ELR propositions

This commit is contained in:
Thibault Barnouin
2021-06-03 16:19:55 +02:00
parent c1b0fead8a
commit 26fc1eb668
46 changed files with 1965 additions and 20 deletions

Binary file not shown.

Before

Width:  |  Height:  |  Size: 242 KiB