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
Combined with @neurocy.bsky.social’s live programming work might be even closer.
be warned there seem to be bugs currently.