mk-exercise
Simple and intuitive tool to manage exercises in textbooks written in Lean.
of 4 versions of mk-exercise
1-4Sort by
Date
be98fd9
v4.21.0-rc12fb8271
v1.1.1v4.8.0-rc170102f2
v1.1.0v4.5.0-rc1f67105d
v1.0.0v4.5.0-rc1
be98fd9
2fb8271
70102f2
f67105d