pub fn format_specs(specs: &[LemmaSpec]) -> String
Format a sequence of parsed specs into canonical Lemma source.
Specs are separated by two blank lines. The result ends with a single newline.