search

leanprover-community / lean-auto

Experiments in automation for Lean
Apache License 2.0
72 stars 12 forks source link

Merge updated DTr data structure so Duper can track isFromGoal information #20

Closed JOSHCLUNE closed 8 months ago