Most recent: printF# (F#)
Login to submit solutions.


TitleLanguageRating
Neverending TroubleCoq
Remembering InductionCoq
Breathe First 2Coq
De Morgan For AllCoq
AckermannCoq
Minimum?Coq
Insert MergeCoq
De Morgan ImpliesCoq
printF#F#
Append#F#
Next

Unless otherwise stated you are not supposed to use imperative features (assignments, loops, etc.), nor the Object system of OCaml.


Sune Ohrt Sørensen
Hannibal Keblovszki
Kent Grigo
Casper Freksen
Fie Hebsgaard
A
Vincent
Jon
Michael Nielsen
Frederik Truelsen