GitHub repository: BoltonBailey/FRISoundness
Primary language: TeX
Description: A LeanBlueprint Project to track a proof of the soundness of FRI