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
<zack@upsilon.cc>
License:
with attribution via backlink to the page content is taken from
Last edited Mon 05 Jan 2009 06:01:30 PM CET