Commit History
11 days ago
-
Put the organism first and move serialization, sizes and the Rocq map to appendices
5ee1fb5
12 days ago
-
Prove the paper's counts, levelization, depth bounds, recipe lengths and Section 6 in Rocq, and revise the paper
8397e00