paulcadmanflappy0.1.0

A flappy bird clone in Lean
Sort by
  1. Git dependency.
    Found on Reservoir.

    batteriesv4.29.0

    The "batteries included" extended library for the Lean programming language and theorem prover
  2. Git dependency.
    Found on Reservoir.

    rayleanaef7bd7

    Lean4 bindings for raylib