Issues

• Concept exercises

  exercism/lean#189 · Filter by author oxe-i opened on Apr 24, 2026
  1

• Consider adding proof requirement to some currently easy exercises

  exercism/lean#175 · Filter by author keiravillekode opened on Apr 10, 2026
  1

• Add List-Ops practice exercise

  x:action/createx:knowledge/elementaryx:module/practice-exercisex:size/mediumx:type/codingx:type/content
  exercism/lean#158 · Filter by author oxe-i opened on Mar 9, 2026
  1

• Add Zipper practice exercise

  x:action/createx:knowledge/elementaryx:module/practice-exercisex:size/largex:type/codingx:type/content
  exercism/lean#157 · Filter by author oxe-i opened on Mar 9, 2026
  2

• Create a CodeMirror mode for Lean

  x:action/createx:knowledge/nonex:size/massivex:type/coding
  exercism/lean#156 · Filter by author oxe-i opened on Mar 9, 2026
  1

• Build a representer

  x:action/createx:knowledge/advancedx:module/representerx:size/massivex:type/coding
  exercism/lean#155 · Filter by author oxe-i opened on Mar 9, 2026

• Build an analyzer

  x:action/createx:knowledge/advancedx:module/analyzerx:size/massivex:type/coding
  exercism/lean#154 · Filter by author oxe-i opened on Mar 9, 2026

• Highlight

  exercism/lean#12 · Filter by author oxe-i opened on Jan 8, 2026
  3

• Launch tracking

  exercism/lean#1 · Filter by author ErikSchierboom opened on Jan 7, 2026