Categories
Application
Theory
Interviews
Phiosophy
2026
Programming Contest - International Conference on Logic Programming (2024)
2025
Simple vehicle controller
A Sequent Calculus for General Inductive Definitions
