Timeline for I'm stuck trying to prove ∀x : ℕ, 3 | (x + 5x) with Coq
Current License: CC BY-SA 4.0
5 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
May 13, 2022 at 8:30 | history | edited | mobotsar | CC BY-SA 4.0 |
deleted 6 characters in body
|
May 10, 2022 at 15:00 | comment | added | setholopolus | Ya, you should be able to replace most of your lemmas with stuff from the standard library. Aside from that, your main proof at the end looks great. | |
May 10, 2022 at 0:54 | comment | added | Couchy | A helpful library: Coq.Arith.PeanoNat.Nat | |
S May 9, 2022 at 23:38 | review | First answers | |||
May 10, 2022 at 2:20 | |||||
S May 9, 2022 at 23:38 | history | answered | mobotsar | CC BY-SA 4.0 |