Functorio: Build Factorio factories in the Lean 4

(github.com)

2 points | by adamnemecek 10 hours ago ago