![Proof assistant / Nqthm / Five lemma / Order theory / Lemmas / Mathematics / Automated theorem proving Proof assistant / Nqthm / Five lemma / Order theory / Lemmas / Mathematics / Automated theorem proving](/pdf-icon.png)
| Document Date: 2011-07-27 09:29:54 Open Document File Size: 160,45 KBShare Result on Facebook
Company Lemma 1 Ltd. / C REFERENCES 13 Lemma 1 Ltd. / / / IndustryTerm macro-processing front-end / functions computing values / tactic applications / / Person David Basin / Matt Kaufmann / Roger Bishop Jones Rob Arthan / / / Position first author / second author / editor / / Product Ramsey / / ProgrammingLanguage ML / Standard ML / / Technology functional programming / windowing system / /
SocialTag |