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