Technical introduction/State of the art
Pre-release
Pre-release
·
79 commits
to main
since this release
This adds chapter 3, which gives a technical introduction/state of the art, fixes notations and basic definitions, and so on. There is still a missing section about the good properties, should be done soon enough.