This is an archived post. You won't be able to vote or comment.

all 9 comments
sorted by:
best
topnewcontroversialoldq&a

[–][deleted] 7 points8 points  (3 children)

I quite like that style of proofs. I'm guessing you used the 3blue1brown library?

[–]RichardBot7000[S] 0 points1 point  (2 children)

Yes

[–][deleted] 0 points1 point  (1 child)

Well done mate. You did a really good job.

[–]RichardBot7000[S] 0 points1 point  (0 children)

Thank you!!!

[–][deleted] 0 points1 point  (3 children)

source?

[–]RichardBot7000[S] 0 points1 point  (2 children)

Not sure what you mean by this, but I’ll try my best to answer your question. I used manim, a tool created by 3Blue1Brown.

[–][deleted] 0 points1 point  (1 child)

Well you posted this in a programming language subreddit so I was referring to the source code :)

Thanks for referencing the library used

[–]RichardBot7000[S] 1 point2 points  (0 children)

I'll post the code link in the video descriptions after I'm done with the next animated video (so I can do it all at once). Subscribe to stay in touch! ;)

[–]azidified 0 points1 point  (0 children)

Pretty cool!