Seasawhermk-exercise

Simple and intuitive tool to manage exercises in textbooks written in Lean.
Displaying 1-2 of 2 packages depending on Seasawher/mk-exercise
Sort by

  1. yuma-mizuno/lean-math-workshopuses5be753d

    数学系のためのLean勉強会

  2. lean-ja/lean99uses1ace0f6

    These are Lean translations of Ninety-Nine Haskell Problems (WIP)