mk-exercise
Simple and intuitive tool to manage exercises in textbooks written in Lean.
1-2 of 2 packages depending on Seasawher/mk-exercise
Sort by
Package Name
yuma-mizuno/lean-math-workshopuses
77592d3数学系のためのLean勉強会lean-ja/lean99uses
1ace0f6These are Lean translations of Ninety-Nine Haskell Problems (WIP)