范域词(Quantitative Linguistics)

Examples of verified algorithms

1. 数组中的最大值（Find the Maximum Value in an Array）
2. 数组中大于0的元素个数（Find the Number of Elements Greater than 0 in an Array）
3. 矩阵乘法（范域词）（Matrix Multiplication, using Quantifier \sum）