3 ms·
They could list https://en.wikipedia.org/wiki/ACL2 https://en.wikipedia.org/wiki/ACL2 but nobody cares I guess
by junke 3y ago
They could list https://en.wikipedia.org/wiki/ACL2 https://en.wikipedia.org/wiki/ACL2 but nobody cares I guess
loading thread…