Search results

Consider adding proof requirement to some currently easy exercises

Status: Open.

#175 In exercism/lean;

· keiravillekode opened on Apr 10, 2026

Add List-Ops practice exercise

x:action/createWork on something from scratchWork on something from scratch

x:knowledge/elementaryLittle Exercism knowledge requiredLittle Exercism knowledge required

x:module/practice-exerciseWork on Practice ExercisesWork on Practice Exercises

x:size/mediumMedium amount of workMedium amount of work

x:type/codingWrite code that is not student-facing content (e.g. test-runners, generators, but not exercises)Write code that is not student-facing content (e.g. test-runners, generators, but not exercises)

x:type/contentWork on content (e.g. exercises, concepts)Work on content (e.g. exercises, concepts)

Status: Open.

#158 In exercism/lean;

· oxe-i opened on Mar 9, 2026

Add Zipper practice exercise

x:action/createWork on something from scratchWork on something from scratch

x:knowledge/elementaryLittle Exercism knowledge requiredLittle Exercism knowledge required

x:module/practice-exerciseWork on Practice ExercisesWork on Practice Exercises

x:size/largeLarge amount of workLarge amount of work

x:type/codingWrite code that is not student-facing content (e.g. test-runners, generators, but not exercises)Write code that is not student-facing content (e.g. test-runners, generators, but not exercises)

x:type/contentWork on content (e.g. exercises, concepts)Work on content (e.g. exercises, concepts)

Status: Open.

#157 In exercism/lean;

· oxe-i opened on Mar 9, 2026

Create a CodeMirror mode for Lean

x:action/createWork on something from scratchWork on something from scratch

x:knowledge/noneNo existing Exercism knowledge requiredNo existing Exercism knowledge required

x:size/massiveMassive amount of workMassive amount of work

x:type/codingWrite code that is not student-facing content (e.g. test-runners, generators, but not exercises)Write code that is not student-facing content (e.g. test-runners, generators, but not exercises)

Status: Open.

#156 In exercism/lean;

· oxe-i opened on Mar 9, 2026

Build a representer

x:action/createWork on something from scratchWork on something from scratch

x:knowledge/advancedComprehensive Exercism knowledge requiredComprehensive Exercism knowledge required

x:module/representerWork on RepresentersWork on Representers

x:size/massiveMassive amount of workMassive amount of work

x:type/codingWrite code that is not student-facing content (e.g. test-runners, generators, but not exercises)Write code that is not student-facing content (e.g. test-runners, generators, but not exercises)

Status: Open.

#155 In exercism/lean;

· oxe-i opened on Mar 9, 2026

Build an analyzer

x:action/createWork on something from scratchWork on something from scratch

x:knowledge/advancedComprehensive Exercism knowledge requiredComprehensive Exercism knowledge required

x:module/analyzerWork on AnalyzersWork on Analyzers

x:size/massiveMassive amount of workMassive amount of work

x:type/codingWrite code that is not student-facing content (e.g. test-runners, generators, but not exercises)Write code that is not student-facing content (e.g. test-runners, generators, but not exercises)

Status: Open.

#154 In exercism/lean;

· oxe-i opened on Mar 9, 2026

Highlight

Status: Open.

#12 In exercism/lean;

· oxe-i opened on Jan 8, 2026

Launch tracking

Status: Open.

#1 In exercism/lean;

· ErikSchierboom opened on Jan 7, 2026