3 ms·
Coq, a proof assistant (http://coq.inria.fr/ http://coq.inria.fr/); lectures: http://www.seas.upenn.edu/~cis500/cis500-f07/schedule.html http://www.seas.upenn.e
by 13ren 18y ago
Coq, a proof assistant (http://coq.inria.fr/ http://coq.inria.fr/); lectures: http://www.seas.upenn.edu/~cis500/cis500-f07/schedule.html http://www.seas.upenn.edu/~cis500/cis500-f07/schedule.html