Logic Atlas, Version 2
Problems for the IWGS course at FAU
a study
The upper library ontology for theorem prover libraries.