Automated Reasoning

AutoCS
The Automatic Computer Scientist
Andrew Cropper, Céline Hocquette, Filipe Gouveia
RIGA
Reasoning Over Indirect Discrimination
Inês Lynce, Filipe Gouveia, Vasco Manquinho
Code