Proof Assistants on the Tech Tree