aboutsummaryrefslogtreecommitdiffhomepage
path: root/bruijn/Experiments.bruijn
AgeCommit message (Expand)Author
2024-09-13y >> thetaMarvin Borner
2024-09-13Massive code reductionMarvin Borner
2024-04-07Cantor and moreMarvin Borner
2024-04-07Experiments with parallel reduction workersMarvin Borner
2024-04-07Add experiments to gitMarvin Borner