folproofA first-order logic proof verifierfolfolproofprooflogiclanguagefirst-order0.1.1 • Published 11 years ago