X-Nico

unusual facts about Automated theorem proving