29 Jul
2014
29 Jul
'14
1:20 a.m.
On Mon, Jul 28, 2014 at 06:26:50PM +0300, Georgi Guninski wrote:
news: http://www.theregister.co.uk/2014/07/28/aussie_droneprotecting_hackerdetecti... site:
I'm on their announcement list. Good news, question is who's going to pick it up and build a distro around that. Anyone here use Qubes OS?
AFAICT they used Isabelle for the proofs.
Coq sucks much (not counting its developers).