GitHub repository: mmore500/hstrat-algorithm-analysis
Primary language: TeX
Created: 2023-04-17T23:15:16Z
Description: Formal analysis of the hereditary stratigraphy algorithm