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

2 lines
37 B
Markdown
Raw Blame History

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