|
|
|
|
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
numbers_infinite.pvs
Sprache: PVS
Original von: PVS©
|
|
%-------------------------------------------------------------------------
%
% Infinite numeric types.
%
% For PVS version 3.2. March 3, 2005
% ---------------------------------------------------------------------
% Author: Jerry James ([email protected]), University of Kansas
%
% EXPORTS
% -------
% orders: numbers_infinite
%
%-------------------------------------------------------------------------
numbers_infinite: THEORY
BEGIN
nat_infinite: LEMMA NOT is_finite_type[nat]
int_infinite: LEMMA NOT is_finite_type[int]
rat_infinite: LEMMA NOT is_finite_type[rat]
real_infinite: LEMMA NOT is_finite_type[real]
END numbers_infinite
¤ Dauer der Verarbeitung: 0.0 Sekunden
(vorverarbeitet)
¤
|
schauen Sie vor die Tür
Fenster
Die Firma ist wie angegeben erreichbar.
Die farbliche Syntaxdarstellung ist noch experimentell.
|
|
|
|
|
|
