List of Coq Kata to Update - codewars/content-issues GitHub Wiki
The following kata need updates to enable Coq 8.15.
- Efficient Fibonacci: proof and extraction
- Finding the maximal program, revamped
- SKI-ing in Chicken's style 2: Church arithmetic and recursive functions
- Subtyping Mutable References
- Sum of squares without multiplying
- Verified Sorting Algorithms - Bubblesort
- Verified Sorting Algorithms - Mergesort
- Verified Sorting Algorithms - Quicksort