COMPUTER VERIFIED MATHEMATICS | VOEVODSKY
| | homeVoevodsky has been advocating the virtues of computer proof assistants and developing univalent foundations in order to bring the languages of Mathematics and Computer Programming together .
Read More โคโค



 
  
  
    
    
     
  
  
    
    
     
  
  
    
    
     
  
  
    
    
     
  
  
    
    
     
  
  
    
    
     
             
             
                 
                 
                 
                 
                 
                 
                 
                 
                 
                 
                 
                 
                 
                 
                 
                 
             
             
  
  
    
    
     
  
  
    
    
     
  
  
    
    
     
  
  
    
    
     
  
  
    
    
     
             
            
 OM! TAT SAT
   
OM! TAT SAT 
  
 
  
  
    
    
     
  
  
    
    
     
  
  
    
    
     
  
  
    
    
     
  
  
    
    
     
  
  
    
    
     
  
  
    
    
     
  
  
    
    
     
  
  
    
    
     
  
  
    
    
     
  
  
    
    
     
  
  
    
    
     
  
  
    
    
     
  
  
    
    
     
  
  
    
    
     
  
  
    
    
     
  
  
    
    
     
  
  
    
    
     
  
  
    
    
     
  
  
    
    
     
  
  
    
    
     
  
  
    
    
     
  
  
    
    
     
  
  
    
    
     
  
  
    
    
     
  
  
    
    
     
  
  
    
    
     
  
  
    
    
     
  
  
    
    
     
  
  
    
    
     
  
  
    
    
     
  
  
    
    
     
  
  
    
    
     
  
  
    
    
     
  
  
    
    
     
  
  
    
    
     
  
  
    
    
     
  
  
    
    
     
  
  
    
    
     
  
  
    
    
     
  
  
    
    
     
  
  
    
    
     
  
  
    
    
     
  
  
    
    
     
  
  
    
    
     
  
  
    
    
     
  
  
    
    
     
  
  
    
    
     
  
  
    
    
     
  
  
    
    
     
  
  
    
    
     
  
  
    
    
     
  
  
    
    
     
  
  
    
    
     
  
  
    
    
     
  
  
    
    
     
  
  
    
    
     
  
  
    
    
     
  
  
    
    
     
  
  
    
    
     
             
            