Merge `main` with `lean-update` to update `Mathbin` - Githubissues

siddhartha-gadgil / LeanAide

Tools based on AI for helping with Lean 4

Apache License 2.0

62 stars 2 forks source link

Merge `main` with `lean-update` to update `Mathbin` #16

Closed 0art0 closed 1 year ago