git.ralfj.de Git - web.git/history - personal/_posts/2025-01-15-program-logics-a-la-carte.md

]> git.ralfj.de Git - web.git/history - personal/_posts/2025-01-15-program-logics-a-la-carte.md

2025-02-12	Ralf Jung	fix typo and add link to talk	blob \| commitdiff \| raw
2025-01-16	Ralf Jung	try to make the wording less confusing	blob \| commitdiff \| raw \| diff to current
2025-01-15	Ralf Jung	add itree-program-logic paper	blob \| commitdiff \| raw \| diff to current

sources for my website