英语词汇“nuprl”的英英意思、用法、释义、翻译、读音、例句、短语、词组-英语词典

单词	nuprl
释义	Nuprl Nuprl /nyu p*rl/ Nearly Ultimate PRL. A system for interactive creation of formal mathematics,including definitions and proofs. It has an extremely richtype system, including dependent functions, products, sets,quotients and universes. Types are first-class citizens.It is built on Franz Lisp and Edinburgh ML. ["Implementing Mathematics in the Nuprl Proof DevelopmentSystem", R.L. Constable et al, P-H 1986].
随便看	bringing up bringing-up bringing up for bringing upon bringing up short bringing up the rear bringing up to bringing up to code bringing us all together bringing us down a notch bringing us down a notch or two bringing us down a peg bringing us down a peg or two bringing us to bringing us to account bringing us to book bringing us together bringing us to heel bringing us up for bring in its train bring in some place bring into bring into action bring into being bring into blossom

英语词典包含2567994条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。

Nuprl