Hi,guys
I am working with HOL4. Recently, I read some papers, knowing that there
are some other theorem provers, like PVS,COQ. They are similar in many aspects.
For
example, the logic used by them is Higher order logic. I am wondering What is
the advantage of HOL4?
Thanks!------------------------------------------------------------------------------
Find and fix application performance issues faster with Applications Manager
Applications Manager provides deep performance insights into multiple tiers of
your business applications. It resolves application problems quickly and
reduces your MTTR. Get your free trial!
https://ad.doubleclick.net/ddm/clk/302982198;130105516;z
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
