search

verse-lab / lean-ssr

LeanSSR: an SSReflect-Like Tactic Language for Lean
Apache License 2.0
31 stars 0 forks source link

Add support for custom induction principles #5

Open dranov opened 8 months ago