| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Isabelle/HOL/Nonstandard_Analysis/ (Isabelle Prover Version 2025-1©) Datei vom 16.11.2025 mit Größe 331 B |
|
Quelle Hyperreal.thySprache: Isabelle |
|||||||||||||||
|
(* Title: HOL/Nonstandard_Analysis/Hyperreal.thy Author: Jacques Fleuriot, Cambridge University Computer Laboratory Copyright 1998 University of Cambridge Construction of the Hyperreals by the Ultrapower Construction and mechanization of Nonstandard Real Analysis *) theory Hyperreal imports HLog begin end
¤ Dauer der Verarbeitung: 0.1 Sekunden (vorverarbeitet am 2026-06-30) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-07-09