Agda User Manual v2.6.0.1se/~bengt/papers/alfengine.pdf], Alfa [http://www.cs.chalmers.se/~hallgren/Alfa/], Agda 1 [http://unit.aist.go.jp/cvs/Agda/], Cayenne [http://www.cs.chalmers.se/~augustss/cayenne/index.html]. Some other loosely related0 码力 | 256 页 | 247.15 KB | 1 年前3- Agda User Manual v2.6.0se/~bengt/papers/alfengine.pdf], Alfa [http://www.cs.chalmers.se/~hallgren/Alfa/], Agda 1 [http://unit.aist.go.jp/cvs/Agda/], Cayenne [http://www.cs.chalmers.se/~augustss/cayenne/index.html]. Some other loosely related0 码力 | 256 页 | 246.87 KB | 1 年前3
共 2 条
- 1