Tools
mccamanttreeproof.scm
Description:
Scheme code for the conversion of a tree proof to a substitution proof: Given a purported tree proof of “e = f”, return a list of steps in a substitution proof of the same fact, inclusive of “e” but exclusive of “f”.
Resource Type:
Tools
file
6 kB
mccamanttreeproof.scm
Course Info
Instructor
Departments
As Taught In
Spring
2003
Level
Topics
Learning Resource Types
assignment
Problem Sets
