codyroux / hoare-toy
A tiny toy formalization of Hoare logic for IMP with a proof of soundness
| Sep | OCT | Nov |
| 25 | ||
| 2020 | 2021 | 2022 |

See what the GitHub community is most excited about today.
A tiny toy formalization of Hoare logic for IMP with a proof of soundness