79434086

Date: 2025-02-12 18:34:15
Score: 1.5
Natty:
Report link

This lemma is false. If you try with n = nx = 0 (e.g. using destruct n and destruct nx) and simplify, you get 0 <= 0 -> 1 = 0.

Reasons:
  • Low length (1):
  • Has code block (-0.5):
  • Single line (0.5):
  • Low reputation (0.5):
Posted by: Tragicus