folproof

A first-order logic proof verifier

Browse on unpkg