acl2

1熱度

2回答

ACL2橋工作線程拋出未定義的函數異常

我想寫一個綁定到Centaur ACL2橋。到目前爲止，我可以先從以下順序橋： cd books sudo acl2 acl2 !> (include-book centaur/bridge/acl2/top) acl2 !> (bridge::start "Users/Brian/Desktop/acl2server") 擁有，現在，發送命令在產生錯誤： Bridge: bridge-worke

acl2 2014-02-21

---