]> git.ralfj.de Git - web.git/history - personal/_posts/2025-01-15-program-logics-a-la-carte.md
projects / web.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
add itree-program-logic paper
[web.git] / personal / _posts / 2025-01-15-program-logics-a-la-carte.md
2025-01-15 Ralf Jungadd itree-program-logic paper blob | commitdiff | raw
sources for my website