2 Commits

Author	SHA1	Message	Date
Sam L'ecuyer	0a69d3096b	add epitaxis (#421)	2016-10-04 07:07:18 -04:00
Kyle Isom	7d7754b752	Add new category, program verification. ... The inaugural paper in this category describes using Coq to create a formalised subset of the x86 architecture.	2014-05-02 13:52:23 -07:00