Mathematical analysis
Preface
Prerequisites
Learning ethics
Introduction
What is X?
Why does X matter to you?
Research
Ecosystem
Standards, jobs, industry, roles, …
Story
FAQ
Worked examples
Space-filling curve
Subsection
Subsubsection
Applications
DTH
Exercises
- Logic. Mathematics. Code. Automatic Verification such as Lean Proven or Frama-C.
- Languages in Anki.