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