Vol-2161⫷ Vol-2162 ⫸Vol-2163
urn:nbn:de:0074-2162-0


Vol-2162/paper-07⫷Vol-2162/paper-08
Jørgen VilladsenAnders SchlichtkrullAsta Halkjær From

A Verified Simple Prover for First-Order Logic