4 ms·
http://www.cl.cam.ac.uk/~jrh13/hol-light/ http://www.cl.cam.ac.uk/~jrh13/hol-light/ The author John Harrison who works at Intel has used his theorem proving ap
by lcdoutlet 9y ago
http://www.cl.cam.ac.uk/~jrh13/hol-light/ http://www.cl.cam.ac.uk/~jrh13/hol-light/
The author John Harrison who works at Intel has used his theorem proving application hol-light in doing verification on large code bases.