Ωmega: A theorem prover for higher-order logic based on proof planning.
Keywords for this software
References in zbMATH (referenced in 4 articles )
Showing results 1 to 4 of 4.
- Autexier, Serge; Dietrich, Dominik: Recent developments in $\Omega$MEGA’s proof search programming language (2010)
- Autexier, Serge; Benzmüller, Christoph; Dietrich, Dominik; Wagner, Marc: Organization, transformation, and propagation of mathematical knowledge in $\Omega $mega (2008)
- Wagner, Marc; Autexier, Serge; Benzmüller, Christoph: Plat$\Omega$: a mediator between text-editors and proof assistance systems (2007)
- Kerber, Manfred: From MKRP to $\Omega$mega (2005)