What is Proved and What is Assumed Posted by zekers on Monday July 28, 2014 @08:15PM from the sel4.systems dept. http://sel4.systems/FAQ/proof.pml ( 1 comment | 17 points | on HN )