Search for a command to run...
MiniF2F : une base de benchmark inter-systèmes pour les mathématiques de niveau olympiade formelle