One thought on “Alg

  1. Thank you very much for the tool! I’ve successfully used to for proving minimality of several sets of axioms. Extremely useful!
    Andrey

Leave a Reply

Your email address will not be published. Required fields are marked *


*