GitHub repository: lean-ja/lean99
Primary language: Lean
Created: 2024-03-17T02:52:55Z
Description: These are Lean translations of Ninety-Nine Haskell Problems (WIP)