This repository contains the code and data for reproducing the paper Library Learning Doesn't: The Curious Case of the Single Use Library.
The code required for the LEGO-Prover experiments is in the subdirectory Lego-Prover.
The code required for the TroVE experiments is in the subdirectory trove.
Details instructions are provided in the READMEs of these directories.
Note that each subdirectory is licensed differently, based on the licenses of the original repositories.