Rendered PDF
Open
Loading PDF...
Book source 

      


      

        

          

            Lean formalization
            
          

        

        

      


      

        

          TeX
          

            
          

        

        

      


      

        

          Lean proof state
          

            LSP: connecting…