leon/Ideas
1
1
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
main
Ideas/projects/lean-distributed-builds.md
leon 7a72809646 Add another idea
2026-04-13 16:27:24 +02:00

37 B
Raw Permalink Blame History

Distributed Build System for Lean4

Reference in New Issue View Git Blame Copy Permalink