lean-playground

start the non-live unanimous consensus protocol

remove ivy

update vc.lean to use mathlib4 toolchain

use mathlib4 toolchain and set up batteries and mathlib4

remove broken dep on mathlib