projects / web.git / commit
| author | Ralf Jung <post@ralfj.de> | |
| Mon, 25 Nov 2024 12:23:33 +0000 (13:23 +0100) | ||
| committer | Ralf Jung <post@ralfj.de> | |
| Mon, 25 Nov 2024 12:23:33 +0000 (13:23 +0100) | ||
| commit | c00fca4e0107673ce66185625dadbb8c3c48ed09 | |
| tree | c3d877fff507117c2ae67d47db4048897e3d711b | tree | snapshot |
| parent | 97da192ed8775a071d8acac504fe475e5a30eaa1 | commit | diff |
| research/papers/2025-popl-itree-program-logic.pdf | [new file with mode: 0644] | blob |
| research/publications.html | diff | blob | history |