KEAPPA

AcronymDefinition
KEAPPAKnowledge Exchange: Automated Provers and Proof Assistants (workshop)