Words containing nuprl
5 letter words containing nuprl
- nuprl — /nyu p*rl/ Nearly Ultimate PRL. A system for interactive creation of formal mathematics, including definitions and proofs. It has an extremely rich type system, including dependent functions, products, sets, quotients and universes. Types are first-class citizens. It is built on Franz Lisp and Edinburgh ML.
On this page, we collect all words with NUPRL. To make easier to find the right word we have divided all 1 words to groups according to their length. So you should go to appropriate page if can’t find the word that contains NUPRL that you are searching. Also you can use this page in Scrabble.