Login
From:
Hey There Buddo!
(Uncensored)
subscribe
Proving Sum n = n*(n-1)/2 and that 1/n tends to 0. | Hey There Buddo!
https://www.philipzucker.com/analysis_knuckle/
links
backlinks
Some more interesting semi-automated proofs in python using smt solvers.
Roast topics
Find topics
Find it!
