/lean-quiz

Quiz on Lean4!

Primary LanguageLeanApache License 2.0Apache-2.0

README

Here is a quiz on Lean4. Replace sorry with the correct code.

Quizzes

  • RemoveOnce Implements a function that removes at most one element from a list.
  • Fibonacci Show that the two well-known representations of the Fibonacci sequence are equivalent.

How to submit your answer

You are not required to submit an answer, but it would be my pleasure if you do. You can submit your answer in one of the following two ways.

Using Lean4 Web

Please write your answer using Lean4 Web and share the URL with the issue.

Using PR

  • Create a fork of this repository.

  • Edit your fork and write your answer.

  • Open a pull request to this repository.