Experimenting with a new mathematical foundation :D
@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 https://carbon.now.sh
@jaycech3n Very cool, I actually haven't heard of either of those before
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!