lean4 icon indicating copy to clipboard operation
lean4 copied to clipboard

Published 20 hours ago • verified publisher icon leanprover

[WIP] feat: Suggest tactic

Open EdAyers opened this issue 3 years ago • 0 comments
trafficstars

no reviews yet please

  • #1494
  • #1661
  • #1662

EdAyers avatar Sep 30 '22 11:09 EdAyers