Ziele Untersuchung
mit Columbo Integrität von
Datenbanken Interaktion und
Portierbarkeit Ergonomie der
Schnittstellen

Angebot Produkte Projekt Beratung

Mittel Analytik Modellierung Sprachen Algebra Logik Hardware Denken Kreativität

Zusammenhänge Gesellschaft Wirtschaft Branche Firma


products/Sources/formale Sprachen/Isabelle/Archive-of-Formal-Proofs/thys/GyrovectorSpaces/ (Sammlung formaler Beweise Version 2026-5^©) Datei vom 29.4.2026 mit Größe 348 B

Quelle README.md Sprache: unbekannt

Spracherkennung für: .md vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

# moebius

text ‹This theory depends on the following AFP entries:

https://www.isa-afp.org/entries/Poincare_Disc.html
https://www.isa-afp.org/entries/Complex_Geometry.html

They must be downloaded in order to check this theory.
›
When you download these folders, place them in the Isabelle2024 directory and add their names to the ROOTS file.