Post #1819337
2026-04-28 06:58 UTC
@screwlisp @vnikolov ...because communication overheads and bottlenecks, but it should be substantially faster or the whole project is kind of pointless.
Replies (1)
-
@simon_brooke@mastodon.scot 2026-04-28 07:09
@screwlisp @vnikolov Guys, thank you for introducing me to ACL2! This is a rabbit hole into which I shall most eagerly dive! https://en.wikipedia.org/wiki/ACL2