Arihant Gadgade |——Wolfram Community Profile |  |——WSS24 Project: Study "Logic Puzzle" axiom/proof graphs from TPTP.org |  |——Algorithms on Automata [Adapted] |  |——Visualization for the Generators of the Additive Group of Integers Modulo n |  |——Fatty Acid 2D and 3D Molecule Animation |——Math |  |——Theorem Proving |  |  |——Theorem Prover Overview |  |  |——Lean Theorem Prover |  |——Math Animations/Visualizations |  |  |——Visualizer for the sum of the first n natural numbers |  |  |——Von Neumann Ordinals |——Personal Projects |  |——Knowledge Map [beta version] |  |  |——Knowledge Map Project Writeup |——About |——Socials |  |——YouTube |  |——LinkedIn