CS Student @ ETH Zurich
Alessandro Legnani
A verifier for Factorio blueprints, enabling one to automatically check logical properties
alegnani
