Axiomatic // Proof Showcase

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

PROVEN Lean 4 Certified (531.1 ms) GitHub ↗

Search Summary

Domain Abstract Algebra
MCTS Nodes 271
Iterations 42
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