What Do I Need from You?

• Running interface from LISP with Nuprl

• Ability to trace where information is being used

  • hypotheses
  • expressions
  • variables

Previous slide

Back to first slide

View graphic version