leanprover-community/lean4-samples

Issues

• Rubiks Cube doesn't build for me (Lean4 dev novice here)

  #9 opened 2 years ago by enjoysmath
  1

• Question: How do you run lean4 on mdbook?

  #24 opened a year ago by Seasawher
  0

• Rubik's cube with Gitpod needs extra shell commands to build

  #14 opened 2 years ago by crisperdue
  1

• Incorrect proof in NaturalNumbers

  #21 opened 2 years ago by paulch42
  1

• CI?

  #5 opened 2 years ago by leodemoura
  3