Skip to content

List of Lean Kata to Update

Jump to bottom
Alexey Solovyev edited this page Aug 27, 2020 · 62 revisions

Lean v3.18.4 with mathlib 78655b6 was added.

The following kata are not compatible.

  1. A random fact about filtering
  2. a^2=b^3+11

About

Reference

Tutorials

Kata QA

Clone this wiki locally