3 ms·
Mostly posting for entertainment. The issues on the project are fun: https://github.com/TiruArt/Pedigree-Polytopes-Lean4/issues/1 https://github.com/TiruArt/Ped
by carlsverre 4mo ago
Mostly posting for entertainment. The issues on the project are fun:
https://github.com/TiruArt/Pedigree-Polytopes-Lean4/issues/1 https://github.com/TiruArt/Pedigree-Polytopes-Lean4/issues/1