Arihant Gadgade |——Personal Projects |——Writings |——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 |  |——All Wolfram Community Posts |——About |——Socials |  |——YouTube |  |——LinkedIn