Coq
文章平均质量分 81
LEAUQEAAN
这个作者很懒,什么都没留下…
展开
-
Coq学习笔记
注释使用(* COMMENTS HERE *)进行注释分隔符每个Coq命令都要加上.表示结束. 逻辑命题(Prop),数学集合(Set)和 抽象类型(Type) Check 检测表达式是否合理/以及表达式的类型Coq < Check True.True : Prop Coq < Check ((3=5)/\True).3 = 5 /\ True...原创 2018-12-06 23:53:37 · 2975 阅读 · 0 评论 -
Z3Py 学习
一、数据类型integer 整型 ToInt(arg)转换为整型创建对象的方式:x = Int('x')x,y = Ints('x y') real 实数 ToReal(arg)转换为有理数x = Real('x')x ,y = Reals('x y') 例:x = Real('x')solve(3*x==1)# 启用精度set_option(r...原创 2018-12-06 23:56:34 · 1024 阅读 · 0 评论