zack's home page/ tags/ logics

Stuff about formal logic, a formal science. Here is the list of all blog posts tagged with this tag:

RSS Atom
coq as a geek toy
Posted Tue 10 Apr 2007 11:26:50 AM CEST