flyearthr / quic-ivy-1.7 Goto Github PK
View Code? Open in Web Editor NEWThis project forked from elniak/panther-ivy
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 aut
License: Other