Abhishek Anand

2018-11-29 02:32:37 UTC

Has someone worked on a tool which when given a finished proof, can try to

prune (`clear`) as many hypotheses as early as possible during the proof?

prune (`clear`) as many hypotheses as early as possible during the proof?

--

-- Abhishek

http://www.cs.cornell.edu/~aa755/

-- Abhishek

http://www.cs.cornell.edu/~aa755/