Words containing prl
3 letter words containing prl
- prl — Proof Refinement Logic. Versions: micro-PRL, lambda-PRL, nu-PRL.
5 letter words containing prl
- 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 PRL. To make easier to find the right word we have divided all 2 words to groups according to their length. So you should go to appropriate page if can’t find the word that contains PRL that you are searching. Also you can use this page in Scrabble.