GitHub repository: shraiysh/hoare-logic
Primary language: C++
Description: Hoare logic for classroom demonstration