Skip to content

Add tactic `learn_hyp`, fixes #73

Michael Sammlerrequested to merge
msammler/add_hypothesis into master

This is another part of !244 (closed) and fixes #73 (closed).

Edited by Robbert Krebbers

Merge request reports