search

leanprover-community / lean-auto

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

Fix existentially quantified `Nat`s #16

Closed dranov closed 9 months ago

dranov commented 9 months ago

Fixes #15.