Skip to content

Instantly share code, notes, and snippets.

@zfnmxt

zfnmxt/gist:86e90b4b310703f72158d164d33bf0c4 Secret

Created September 8, 2021 14:50
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save zfnmxt/86e90b4b310703f72158d164d33bf0c4 to your computer and use it in GitHub Desktop.
Save zfnmxt/86e90b4b310703f72158d164d33bf0c4 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
proof (prove)
goal (1 subgoal):
1. rev (if P x
then dropWhile P (rev xs)
else x # rev xs) =
(if P x
then rev (dropWhile P (rev xs))
else xs @ [x])
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment