This repository consists of all the useful animations related to theorems and other stuff in maths (of 1st year). We are using a software called "manim" for this purpose.
-
Updated
May 4, 2020 - Python
This repository consists of all the useful animations related to theorems and other stuff in maths (of 1st year). We are using a software called "manim" for this purpose.
A twitter bot that decides whether a formula is an intuitionistic validity and tweets the result.
Add a description, image, and links to the theorems topic page so that developers can more easily learn about it.
To associate your repository with the theorems topic, visit your repo's landing page and select "manage topics."