Submission Details

Back to Submissions List

Challenge: countEq

Submitted by: Violeta Hernández Palacios

Submitted at: 2024-11-19 09:38:25

Code:

def countEq (x:Int)(xs:List Int):Nat

:= xs.count x

First Theorem Proof:

def countEq_correct (x:Int)(xs:List Int):
  List.count x xs = countEq x xs

:= rfl

Status: Correct

Feedback: