lean-ja / lean99

These are Lean translations of Ninety-Nine Haskell Problems (WIP)
14Updated this week

Alternatives and similar repositories for lean99:

Users that are interested in lean99 are comparing it to the libraries listed below