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 Apr 10 09:26:50 2007
<zack@upsilon.cc>
License:
with attribution via backlink to the page content is taken from
Last edited Mon Jan 5 17:01:30 2009