@VictorTaelin@klntsky can you please elaborate on what "for all practical purposes" means? if lean can prove bend's correctness and bend can't prove bend's correctness, then lean is more expressive than bend, yes?
@VictorTaelin can i still request a refund?
(jk :) people might not have yet realized they WANT bend, but they do! in this economy! just give them time)