Database for automated proofs of Kleene algabra. http://www.kleenealgebra.de (0)

by P Höfner