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