Skip to content

List of Lean Kata to Update

Jump to bottom
Donald Sebastian Leung edited this page Aug 27, 2020 · 62 revisions

Lean v3.18.4 with mathlib 78655b6 was added.

The following kata are not compatible.

  1. (5^5^5^5^5-1)/(5^5^(5^5^5-1)-1) isn't prime
  2. A random fact about filtering
  3. a^2=b^3+11

About

Reference

Tutorials

Kata QA

Clone this wiki locally