2024-09-27September 27, 2024 · One min readPresent Progress on soundness proofs Expanded coverage of conformance tests Peras infographic Video for Monthly R&D Backlog meeting Future Review and retrospective next week Open Q&A meeting in 1.5 weeks