mk-exercise
Simple and intuitive tool to manage exercises in textbooks written in Lean.
1-6 of 6 versions of mk-exercise
Sort by
Date
6b7964ev4.25.0-rc1v4.25.0-rc16b7964ev4.25.0-rc1v4.25.0-rc18f26d8cv4.24.0v4.24.03.9 MB2fb8271v1.1.1v4.8.0-rc170102f2v1.1.0v4.5.0-rc1f67105dv1.0.0v4.5.0-rc1