Thu, 17 Jun 2021 10:37:29 +0200 | desharna | updated Mirabelle documentation | changeset | files |
Thu, 17 Jun 2021 10:30:07 +0200 | desharna | changed Mirabelle's filter to use short theory names | changeset | files |
Wed, 16 Jun 2021 08:19:09 +0000 | haftmann | more lemmas | changeset | files |