Rare find

tryAtEachStep. Try a tactic at each step in a Lean proof.

github.com/dwrensha/tryAtEachStep
by @dwrensha

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.