the bot code for BTDCIS Part 2
Yet Another Proof Asistant (for fun).
Cours de Base de Données et Data Mining.