Tags give the ability to mark specific points in history as being important
v0.1.0: early release. The course as the director's review left it, checked, sourced, in plain language, and rebuilt in full; videos built, to go to YouTube with v1.0.0. The full release is v1.0.0.
Release candidate for 0.1 after the director's review: sources on slides, versions, the overview and the Short, the course in brief, twelve new animations, the verification skill and llms.txt, and what a proof checker certifies; 0.1 adds the YouTube links
Release candidate for 0.1: the complete course with all nineteen narrated videos built; 0.1 adds the YouTube links