Library Synthesis and Formatting