search

JamesGallicchio / LeanColls

WIP collections library for Lean 4
https://jamesgallicchio.github.io/LeanColls/docs/
Apache License 2.0
30 stars 7 forks source link

Bump to leanprover/lean4:v4.6.0 #17

Closed T-Brick closed 8 months ago

T-Brick commented 8 months ago

Waiting on #16