What is your favorite tool? Agda? I've been finding it much nicer to work with, but the ecosystem is just not there yet.