Skip to content

add Coq 8.20#1275

Merged
affeldt-aist merged 3 commits intomath-comp:masterfrom
affeldt-aist:fixes_1274
Jul 30, 2024
Merged

add Coq 8.20#1275
affeldt-aist merged 3 commits intomath-comp:masterfrom
affeldt-aist:fixes_1274

Commits

Commits on Jul 29, 2024