Open kohlhase opened 6 years ago
We should build up the database provers.yml of existing provers (and possibly forks; see #12) , so that when they retire, we already have them for the museum.
provers.yml
This also gives us a better way of retiring theorem provers, just by flipping the active switch.
active
We should build up the database
provers.yml
of existing provers (and possibly forks; see #12) , so that when they retire, we already have them for the museum.