mk-exercise
Simple and intuitive tool to manage exercises in textbooks written in Lean.
of 4 versions of mk-exercise
1-4Sort by
Date
11c2a37
lean/v4.24.0-rc1v4.24.0-rc13.9 MB2fb8271
v1.1.1v4.8.0-rc170102f2
v1.1.0v4.5.0-rc1f67105d
v1.0.0v4.5.0-rc1