scubed questions

• How do you selectively simplify arguments to each time a function is called, without evaluating the function itself?
• coq induction with passing in equality

scubed answers