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

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