Public snapshots of "ACSL by Example" - View it on GitHub