Future of Coding is an online community with a welcoming, cooperative, and revolutionary spirit. We are unified in the belief that the common practice of programming is tragically less humane than it could be.

Future of Coding

A visual environment for writing proof assistant code. <https://www.actema.xyz/?goal=U29jcmF0ZXM6KCksIEh1bWFuOjooKSwgTW9ydGFsOjooKTsgSHVtYW4oU29jcmF0ZXMpLCBmb3JhbGwgeDooKS4gSHVtYW4oeCkgLT4gTW9ydGFsKHgpIHwtIE1vcnRhbChTb2NyYXRlcyk%3D>

Cute.  A little janky.  Very sensitive to how you drag one expression over another.