logic.examples

February 23, 2016 ยท View on GitHub

  • nuprl_examples : examples from "Logical investigations with the Nuprl Proof Assistant"