Readit News

Posted by u/adamnemecek 10 days ago

Functorio: Build Factorio factories in the Lean 4github.com/konne88/functo...

No comments