sf.tar.gz - 携带证明的代码的例子,在安装coq之后可以直接运行的,入门级别的,2011-01-25 20:26:53,下载5次
coqart82.tar.gz - 关于携带证明的代码,即PCC,较前沿的代码,是一种一劳永逸无需测试的编码方式,叫复制,2011-01-25 20:24:59,下载4次
SoundEX.rar - 本科时学java的比较详细的亲手做的实验,入门级别试用的,2011-01-25 20:23:08,下载2次
CoreJava-Notes.rar - 学习java是做的比较详细的笔记,基本上从hello world开始的,2011-01-25 20:18:30,下载1次
PL0.rar - 本科时候做的编译原理的实验,PL0的,扩展了很多东西的,else,exit等等,2011-01-25 20:16:07,下载100次