-
Notifications
You must be signed in to change notification settings - Fork 1
List of Coq Kata to Update
Alexey Solovyev edited this page Aug 16, 2022
·
5 revisions
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
- Agda Kata that require rank adjustment
- List of Possible Duplicate Kata
- List of kata that are candidates to retirement
- List of Kata with font Tag in Description (possibly broken)
- Potentially Plagiarized Kata
- Tags and topics to assign to kata
- List of Agda Kata to Update
- List of C Kata to Update
- List of C++ Kata to Update
- List of COBOL Kata to Update
- List of Coq Kata to Update
- List of Crystal Kata to Update
- List of C# Kata to Update
- List of Dart Kata to Update
- List of Elixir Kata to Update
- List of Go Kata to Update
- List of Haskell Kata to Update
- List of Java Kata to Update
- List of JavaScript Kata to Update
- List of Kotlin Kata to Update
- List of Lean Kata to Update
- List of Nim Kata to Update
- List of PHP Kata to Update
- List of Python Kata to Update
- List of Racket Kata to Update
- List of Ruby Kata to Update
- List of Rust Kata to Update
- List of Scala Kata to Update
- List of Solidity Kata to Update
- List of Swift Kata to Update
- List of TypeScript Kata to Update