www.lemma-one.com
4
Total Links
2
Wikipedia Pages
0
Subdomains
Related Domains
Wikipedia Pages Linking to www.lemma-one.com
HOL (proof assistant)
View on Wikipedia
3 links on this page
Loading...
Tarski's axiomatization of the reals
View on Wikipedia
1 links on this page
Loading...
Wikipedia Links
http://www.lemma-one.com/ProofPower/specs/specs.html
Anchor text: Documents specifying HOL's basic logic