| Age | Commit message (Expand) | Author |
|---|---|---|
| 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 |