OMEGA

Ωmega: A theorem prover for higher-order logic based on proof planning.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element