mk-exercise
Simple and intuitive tool to manage exercises in textbooks written in Lean.
Sort by
Require Order
Cli
v4.22.0-rc3A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
mk-exercisev4.22.0-rc3