Geta Simple proof checker for equational logic (C) 2020 Hisabumi Hatsugai References A Logical Approach to Discrete Math, David Gries, Fred B. Schneider, 1993