欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
AutoLISP 是一种由Lisp语言派生出来的方言,专门用于AutoCAD及其相关产品。
用户可以通过AutoLISP与AutoCAD进行交互,如:选择点,选择实体,输入数字等。AutoCAD中集成AutoLISP的图形化编程界面,可通过在命令行中输入vlide打开。