Sekce: Isabelle | Combinatorics on Words | DL 1

DL 1

Titulní stránka Podpora uživatelů

Osnova sekce

- Vybrat aktivitu Stránka důkazového asistenta Isabelle
  
  Stránka důkazového asistenta Isabelle URL
  
  Insatalace by měla být neproblematická.
- Vybrat aktivitu Formalizace věty Lyndona a Schützenbergera
  
  Formalizace věty Lyndona a Schützenbergera Soubor
  
  Formalizace poměrně těsně sleduje výše uvedený důkaz ze skript.
- Vybrat aktivitu Základní teorie
  
  Základní teorie Soubor
  
  Pomocný soubor CoWBasic obsahuje většinu ostatního materiálu z první části skript.
- Vybrat aktivitu Úvod
  
  Úvod Soubor
  
  Rukopis článku představujícího (mimo jiné) výše uvedené formalizace