https://www.codewars.com/kata/5e4914f1083ab4001eb6af2d/train/coq
Codewars is where developers achieve code mastery through challenge. Train on kata in the dojo and reach your highest potential.
rosser theoremtrainingchurchcodewars
https://www.codewars.com/kata/5e4914f1083ab4001eb6af2d
The Church-Rosser Theorem This Kata is a formalized version of Exercise 17 in Peter Selinger's Lecture Notes on the Lambda Calculus. Prerequisites You should...
rosser theoremchurchcodewars