Something or other, whatever!

I had a thought about using Blockly to construct proofs, which would be translated to Lean code for evaluation.