3 ms·what would such proof look like? It's not like allegations are written in Leanby mepiethree 24d agowhat would such proof look like? It's not like allegations are written in Lean