This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
π‘πππΊππππΊπ π°ππππ±
smartmanapps.bsky.social
did:plc:kn3neixmk3ikq6pjk4fulxi2
And here's an inductive proof (which is a formal proof method)
(1)
show true for a=1
1+b=b+1
subtract 1 both sides
b=b true
(2)
assume true for a=n
n+b=b+n
(3)
show true for a=n+1
n+1+b=b+n+1
subtract 1 both sides
n+b=b+n
true by (2) thus holds for all values of a
2025-12-04T22:17:07.429Z