The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-scale applications. Nuprl LPE, the newest release, features an open, distributed architecture centered around a flexible knowledge base and supports the cooperation of independent formal tools.

References in zbMATH (referenced in 366 articles , 5 standard articles )

Showing results 1 to 20 of 366.
Sorted by year (citations)

1 2 3 ... 17 18 19 next

  1. Kunčar, Ondřej; Popescu, Andrei: From types to sets by local type definition in higher-order logic (2019)
  2. Angiuli, Carlo; Harper, Robert: Meaning explanations at higher dimension (2018)
  3. Avelar da Silva, Andréia B.; de Lima, Thaynara Arielly; Galdino, André Luiz: Formalizing ring theory in PVS (2018)
  4. Avron, Arnon; Cohen, Liron: Applicable mathematics in a minimal computational theory of sets (2018)
  5. Carette, Jacques; Farmer, William M.; Laskowski, Patrick: HOL Light QE (2018)
  6. Farmer, William M.: Incorporating quotation and evaluation into Church’s type theory (2018)
  7. Harper, Robert: Exception tracking in an open world (2018)
  8. Rahli, Vincent; Bickford, Mark: Validating Brouwer’s continuity principle for numbers using named exceptions (2018)
  9. Rahli, Vincent; Cohen, Liron; Bickford, Mark: A verified theorem prover backend supported by a monotonic library (2018)
  10. Shankar, Natarajan: Combining model checking and deduction (2018)
  11. Buss, Samuel R. (ed.); Iemhoff, Rosalie (ed.); Kohlenbach, Ulrich (ed.); Rathjen, Michael (ed.): Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 (2017)
  12. Cauderlier, Raphaël; Dubois, Catherine: Focalize and dedukti to the rescue for proof interoperability (2017)
  13. Dagand, Pierre-Evariste: The essence of ornaments (2017)
  14. Müller, Dennis; Gauthier, Thibault; Kaliszyk, Cezary; Kohlhase, Michael; Rabe, Florian: Classification of alignments between concepts of formal mathematical systems (2017)
  15. Stump, Aaron: The calculus of dependent lambda eliminations (2017)
  16. Angiuli, Carlo; Morehouse, Edward; Licata, Daniel R.; Harper, Robert: Homotopical patch theory (2016)
  17. Bisping, Benjamin; Brodmann, Paul-David; Jungnickel, Tim; Rickmann, Christina; Seidler, Henning; Stüber, Anke; Wilhelm-Weidner, Arno; Peters, Kirstin; Nestmann, Uwe: Mechanical verification of a constructive proof for FLP (2016)
  18. Bizjak, Aleš; Grathwohl, Hans Bugge; Clouston, Ranald; Møgelberg, Rasmus E.; Birkedal, Lars: Guarded dependent type theory with coinductive types (2016)
  19. Drăgoi, Cezara; Henzinger, Thomas A.; Zufferey, Damien: \textscPSync: a partially synchronous language for fault-tolerant distributed algorithms (2016)
  20. Kunčar, Ondřej; Popescu, Andrei: From types to sets by local type definitions in higher-order logic (2016)

1 2 3 ... 17 18 19 next