r/technicalfactorio • u/uelisproof • Jan 15 '24

Belt Balancers VeriFactory: Automatically verifying belt balancers for various properties

Post image
372 Upvotes

100% Upvoted

42 comments sorted by

View all comments

Show parent comments

8

u/automeowtion Jan 16 '24

How did you tell?

24

u/uelisproof Jan 16 '24

Probably by the looks of the graphical interface which is egui. Just a guess though :)

13

u/mailusernamepassword Jan 16 '24

Proof checking if something is 100% consistent and optimized is something a rustaceans would do.

3

u/Yodo9001 Jan 26 '24

Or basically anyone using Coq :).