A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf
.
Proof Development with Ωmega
[chapter]
2002
Lecture Notes in Computer Science
The Ωmega proof development system [2] is the core of several related and well integrated research projects of the Ωmega research group. Ωmega is a mathematical assistant tool that supports proof development in mathematical domains at a user-friendly level of abstraction. It is a modular system with a central data structure and several complementary subsystems. Ωmega has many characteristics in common with systems like NuPrL [1], CoQ [23], Hol [13], and PVS [9]. However, it differs from these
doi:10.1007/3-540-45620-1_12
fatcat:v7v3rbix4zfinfqvvn4cbawnqe