Comment by auggierose

Who of the Isabelle core devs is involved in blockchain?