rev

write a function that, given a List of integers, return the list in reverse order.

Function Signature

def rev(xs: List Int): List Int

Theorem Signature

theorem reverse_correct(xs:List Int):
  xs.length=(rev xs).length ∧
  ∀ i<xs.length, xs[i]! =(rev xs)[xs.length-1-i]!

View All Submissions

Please log in or register to submit a solution for this challenge.