Simple Code Generation for ifCovers the compilation of statement sequences, control structures, boolean representation, and comparisons in WebAssembly code generation.
Bobby's StoryExplores the first part of Bobby's story through a simple code demonstrating Bobby's actions and thoughts.
Mathgraph Theorem ProverIntroduces the Mathgraph Theorem Prover, showcasing its unique approach to representing propositions and organizing graphs for first-order logic.
