Thinking about this thing ( which seems to be C with an additional theorem prover language. It's a very cool idea for a very specific low-level use case.

But... what if a with a prover? Hmm...

Sign in to participate in the conversation

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!