3 ms·
Cool idea. Here are about ~30 more that might be of interest. Not all are code proof assistants, just listing extras in case serendipity. https://pastebin.co
by SkyMarshal 3y ago
Cool idea. Here are about ~30 more that might be of interest. Not all are code proof assistants, just listing extras in case serendipity.
https://pastebin.com/bYXWj7w6 https://pastebin.com/bYXWj7w6