码农家园

关于形式方法：如何显示集合关系的“数量”？

刚刚 formal-methodsz-notation

将一种语言的语法(用ANTLR编写)转换为形式语言/数学符号

刚刚 antlrformal-languagesformal-methods

关于图表：Z符号：2D数组的表示

刚刚 formal-methodsgraphmultidimensional-arrayz-notation

关于证明：Coq中有限图的相等性(使用map2定义)

刚刚 coqproof

Coq为内射函数定义类型构造函数

刚刚 coq

如何在Coq中隐式构建函数？

刚刚 coq

关于证明：在Coq中定义间隔函数

刚刚 coqproof

Aqua loves painting

刚刚 intpaint

UA MATH566 统计理论7: Multiple Test

刚刚 matmath

[macOS] HomeBrew更换国内源

刚刚 homebrewmacos