| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2026-02-04 | research: add fossacs 2026 paper | aristote | |
| 2025-11-25 | experience: add academic service | aristote | |
| 2025-10-10 | research: conferences: lics2025 proceedings | aristote | |
| 2025-08-12 | research: calco2025: add abstract | aristote | |
| 2025-07-29 | publications -> research | aristote | |
 |
index : info | |
| Personal information packaged in a Nix attribute set. |
| summaryrefslogtreecommitdiff |