No results found

mk-exercise

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

  1. lean-ja/Lean by Exampleuses97c8a35

    プログラミング言語であるとともに定理証明支援系でもある Lean 言語と、その主要なライブラリの使い方を豊富なコード例とともに解説した資料です。

  2. yuma-mizuno/lean-math-workshopuses77592d3

    数学系のためのLean勉強会

  3. lean-ja/lean99uses1ace0f6

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