| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2026-01-10 | unpublished: add where to appear | aristote | |
| 2026-01-10 | add unpublished 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 |