Andrew on Nostr: Curator of Mastodon.art fediblock :newt: Scathach I wouldn't call it proof-assistant ...
Curator of Mastodon.art fediblock :newt: (npub1wc2…4sk7) Scathach (npub1lc8…92pf) I wouldn't call it proof-assistant though — it has no tactics or any interactive features (relying on emacs for proof search can't be taken seriously)
if it's not to write actual programs then I don't really know what it's for, other than 80-20 reimplementation of something that existed before with reduced functionality
if it's not to write actual programs then I don't really know what it's for, other than 80-20 reimplementation of something that existed before with reduced functionality