IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniques. In particular, IVy provides interactive visualization of automated proofs, and supports a use model in which the human protocol designer and the automated tool interact to expose errors and prove correctness.
I followed the instruction in https://cs.stanford.edu/~padon/ivy/index.html#downloading.
When I run :
python ../../ivy/ivy2.py leader_election_ring.ivy
I get a type error: