Skip to content

Split Lem/Isabelle output into multiple files#22

Open
bauereiss wants to merge 1 commit intorems-project:masterfrom bauereiss:lem_split_files
+1,144-19

Commits

Commits on Dec 5, 2024