German

Preface

Prerequisites

Learning ethics

Introduction

What is X?

https://userbase.kde.org/Tutorials/ComposeKey#Typing_Macrons.2C_Umlauts.2C_Accents.2C_...

Dictionary

https://www.dwds.de/

https://www.duden.de/

Why does X matter to you?

Research

Ecosystem

Standards, jobs, industry, roles, …

Story

FAQ

Worked examples

Chapter Name

Subsection

Subsubsection

Exercises

  1. Logic. Mathematics. Code. Automatic Verification such as Lean Proven or Frama-C.
  1. Languages in Anki.

Projects

Summary

FAQ

Reference Notes

Next steps

References

TODO