Skip to content
archive/dev-pattern-matching
Björn Lötters's avatar
Björn Lötters
@bpfr67
8ee8070b · Finish done tactic and fix printing. · 
This is an outdated development branch of the co-pattern matching algorithm from J. Cockx and A. Abel implemented by Jan Hindges.