ACL2系统和社区书籍

由社区维护的 ACL2 系统和书籍。「ACL2 System and Books as Maintained by th...

Kind

现代证明语言。「A modern proof language」