]> git.ralfj.de Git - web.git/history - personal/_posts/2025-01-15-program-logics-a-la-carte.md
try to make the wording less confusing
[web.git] / personal / _posts / 2025-01-15-program-logics-a-la-carte.md
2025-01-16 Ralf Jungtry to make the wording less confusing master
2025-01-15 Ralf Jungadd itree-program-logic paper