coq-lean-import Versions (2)

Version Release Date Links
9.0+lean3-alpha 28 Aug 2025 Documentation
8.20+lean3-alpha 28 Aug 2025 Documentation