Tools
proofmatch.scm
Description:
Pattern-match based procedure proof-match.scm for converting a sequence-of-equations proof into a tree proof
Resource Type:
Tools
file
7 kB
proofmatch.scm
Course Info
Instructor
Departments
As Taught In
Spring
2003
Level
Topics
Learning Resource Types
assignment
Problem Sets
