OMEGAFebruary 19, 2016 ยท View on GitHubA theorem prover for higher-order logic based on proof planning.