Eine aufbereitete Darstellung der Quelle

 
     
 
 
Anforderungen  |   Konzepte  |   Entwurf  |   Entwicklung  |   Qualitätssicherung  |   Lebenszyklus  |   Steuerung
 
 
 
 
Benutzer

products/Sources/formale Sprachen/Isabelle/Archive-of-Formal-Proofs/thys/GyrovectorSpaces/   (Archive of formal Proofs Version 2026-5©)  Datei vom 29.4.2026 mit Größe 348 B image not shown  

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.

[Dauer der Verarbeitung: 0.15 Sekunden, vorverarbeitet 2026-09-04]

                                                                                                                                                                                                                                                                                                                                                                                                     

Neuigkeiten

     Aktuelles
     Motto des Tages

Open Source Software

     Quellcodebibliothek
     Eigene Quellcodes
     Fremde Quellcodes
     Suchen
Jenseits des Üblichen ....

Besucherstatistik

Besucherstatistik
Statistik
#Sources=1019547
#Domains=890699