@jaycech3n Whoa, what language/editor is this? I don't think I've seen this before


@jrhawley The code itself is the input language of the proof assistant Isabelle.
The pretty picture is not actually an editor; just a pretty vehicle to present code generated by carbon.now.sh

@jaycech3n Very cool, I actually haven't heard of either of those before

Sign in to participate in the conversation
Scholar Social

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