What's Changed

• Update URL to the Library Graph by @WojciechKarpiel in #109
• Fix text formatting (no space between text and formula) by @WojciechKarpiel in #110
• Fix invalid variable name, so that example code compiles by @WojciechKarpiel in #111
• Typo Section 6.2 by @olaure01 in #113
• correct typo by @marklemay in #118
• correct typos by @marklemay in #119
• intended meeting? by @marklemay in #120
• Fix .v files + jscoq by @gares in #121
• updating jscoq snippets for docs folder by @andreykl in #124
• fix github pages build by @andreykl in #125
• explain in chap1, that all snippets have to be executed in order by @ybertot in #129
• Fix various typos by @siraben in #130
• Add GitHub Actions by @siraben in #132
• Add badge and mention Nix and CI by @siraben in #134
• Fix some typos and adjust wording by @siraben in #133
• minor improvements(?) by @darijgr in #135
• Minor wording adjustments by @siraben in #136
• change inconsistent usage of idfun by @jzc in #138
• snippets changed: ch1 ch2 ch3 ch4 ch5 better reflect book content now by @andreykl in #142
• link to snippets (fix #140) by @gares in #143
• Add Nix flake by @siraben in #139

Full Changelog: zenodo-1.0.1...zenodo-1.0.2