Requisites

Resources

Introduction

What is X?

Why does X matter to you?

Research

Ecosystem

Standards, jobs, industry, roles, …

Story

FAQ

Worked examples

Chapter Name

https://kroki.io/#try

Prove

Notes

Worked examples

Breadboard

1. Mathematics or Code. Automatic Verification such as Testing or Lean Proven?

2. Languages in Anki.

FAQ

Further resources

Next steps