3 ms·
Dang, I was hoping this might be something cool about graphs in the Lean language/theorem prover.
by munchler 2y ago
Dang, I was hoping this might be something cool about graphs in the Lean language/theorem prover.
- pfdietz 2y agoI was expecting that too. :(
- aithrowawaycomm 2y agoSame here - maybe the HN post should be retitled to "Lean Manufacturing and Graph Theory."
- cobertos 2y agoSame! It's a field I mess around with a lot as an amateur and was hoping to get a better hang on it for a personal project.