Comment by thaumasiotes

Publishing the proof is good, but why do you need it to build the language?

You can have one piece of software that does things, and a separate piece that proves that the things the first piece does are correct.