The Problem, and Why it Matters for Nuprl

• Automatically generate robust proofs from “readable” Nuprl proofs

• Advantages

  • English format opens door to using NL tools such as web search, summarization…
  • Wider accessibility for educational purposes and for non-experts

Previous slide

Next slide

Back to first slide

View graphic version