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

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

2. Languages in Anki.

Projects

Summary

FAQ

Reference Notes

Topological space

Next steps

References

TODO