User loginNavigation 
automatic theorem provingI've been looking at Coq and automatic theorem proving for a while, although I'm not sure if I completely understand it. From what I can tell, the idea is to create a core set of routines from which a function can be proven correct, given a detailed specification of what it should do. Is this right, or am I completely off track? By Curtis W at 20060807 21:58  LtU Forum  previous forum topic  next forum topic  other blogs  9257 reads

Browse archivesActive forum topics 
Recent comments
50 min 20 sec ago
2 hours 17 min ago
3 hours 52 min ago
5 hours 32 min ago
15 hours 30 min ago
15 hours 35 min ago
19 hours 38 min ago
19 hours 58 min ago
20 hours 33 min ago
20 hours 55 min ago