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

2 lines
37 B
Markdown
Raw Blame History

# Distributed Build System for Lean4
Reference in New Issue View Git Blame Copy Permalink