search

proofcert / checkers

This is not a game.
3 stars 2 forks source link

Tasks for Marco #13

Closed shaolintl closed 7 years ago

shaolintl commented 7 years ago

finish modtab-full-reflx by adding decide tree add transitivity and symmetry to modlab wait for Tomer to add support for exists on several indices at once