what I think would be really cool is an interactive language/interface to go from generative, potentially-unsound, partially-verified thoughts and formally examine them by testing them, gradually making them more and more concrete, eventually to the level of formal logic.

Comments