Skip to content

Add tactic `learn_hyp`, fixes #73

Michael Sammler requested 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