Re: [Haskell] Haskell / Full-fledge verified OS
26 Aug
2006
26 Aug
'06
1:49 a.m.
Hello all, Linus Torvalds said in 2000 : "Talk is cheap. Show me the code." (2000) I would want to say : "Talk is cheap. Show me the formal verification." (2006) Best Regards, Will
7309
Age (days ago)
7309
Last active (days ago)
0 comments
1 participants
participants (1)
-
William DUCK