I found quite a few papers about the formalization of graph theory using the
HOL theorem prover back in the 90s (Wang, 1992, Chou, 1994, Lee, 1995,
Yamamoto, 1995). But, unfortunately, I was not able to locate the
corresponding theories in the src or the examples directories. I'd really
appreciate if someone could point me to the source code for the formalized
graph theory in HOL.
Thanks,
--Osman
------------------------------------------------------------------------------
Download Intel® Parallel Studio Eval
Try the new software tools for yourself. Speed compiling, find bugs
proactively, and fine-tune applications for parallel performance.
See why Intel Parallel Studio got high marks during beta.
http://p.sf.net/sfu/intel-sw-dev
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
