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

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

2. Languages in Anki.

FAQ

Further resources

Firmware

Next steps

TODO

LCSL. Logic Circuit Simulation Language.