leon/Ideas
1
1
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
825b95009c3319679de5ad8b4c9b59af310e04a1
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