Axiomatic // Proof Showcase

(((x + 0) * 1) + ((y * 1) + 0)) = ((0 + y) + (x * 1))

PROVEN Lean 4 Certified (549.4 ms) GitHub ↗

Search Summary

Domain Abstract Algebra
MCTS Nodes 1670
Iterations 162
Proof Steps 5

Selected Node Details

Click any node in the tree to inspect proof state, neural priors, and Q-values.

Proven Tactic Sequence

    Lean 4 Formal Proof

    
                
    
            
    

            
    
                
    
                    
                    
    Coq / Rocq Specification
    
                    
    
                
    
            
    

            
    
                
    
                    
                    
    AMS-LaTeX Derivation