shraiysh/hoare-logic

Hoare logic for classroom demonstration

Language: C++ - Size: 50.8 KB - Last synced at: almost 2 years ago - Pushed at: over 5 years ago - Stars: 3 - Forks: 2