leon/Ideas
1
1
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
b2430c9b883bbbe9edd83bbff8213ab95243a535
Ideas/projects/software/lean-distributed-builds.md
lol3rrr 3e0317723c Properly structure the directories
2026-04-27 23:23:37 +02:00

37 B
Raw Blame History

Distributed Build System for Lean4

Reference in New Issue View Git Blame Copy Permalink