LARARL

AcronymDefinition
LARARLLogic for Automated Reasoning and Automated Reasoning for Logic (Workshop)