updates hoare logic to use assertion as a approximation of events

uprm-inso4117-2023-2024-s2 / semester-project-study-pet

semester-project-study-pet created by GitHub Classroom

1 stars 3 forks source link

Closed JeremySanchez1 closed 2 months ago

JeremySanchez1 commented 2 months ago