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.