Last released Feb 10, 2026
A Python interface for Lean 4.
Last released Dec 4, 2025
Initial release forthcoming.
Last released Apr 2, 2024
Recommendation Systems - IESEG School of Management
Last released Jul 5, 2023
Credit Scoring - IESEG School of Management
Supported by
