Axiomatic // Proof Showcase

((a & 1) & (b | 0)) = ((0 | b) & (1 & a))

PROVEN Lean 4 Certified (500.7 ms) GitHub ↗

Search Summary

Domain Propositional Boolean Logic
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