Arihant Gadgade
Writings
Featured
[WSS24] Study "Logic Puzzle" Axiom/Proof Graphs from TPTP.org
Algorithms on Automata (Adapted)
Terraformer For Dummies
Site Archive
Tangent Animation
April 20, 2025
Concept List in Metamathematics and Foundation of Math
March 21, 2025
Von Neumann Ordinals
November 11, 2024
Visualizer for the Sum of the First n Natural Numbers
September 20, 2024
Theorem Prover Overview
September 19, 2024
Project Articles
GT Off-Road
October 8, 2025
Terraformer For Dummies
June 26, 2025
Terraformer Research Project Writeup
June 26, 2025
Wolfram Community Articles
Visualization for the Generators of the Additive Group of Integers Modulo n
Visualizer for the Sum of the First n Natural Numbers
Fatty Acid 2D and 3D Molecule Animation
Algorithms on Automata (Adapted)
[WSS24] Study "Logic Puzzle" Axiom/Proof Graphs from TPTP.org
![[WSS24] Study "Logic Puzzle" Axiom/Proof Graphs from TPTP.org](featured/wss24hero.png)
