Skip to content

kik/Four-Color-Theorem-Maintenance

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

9 Commits
coq
coq
 
 
.gitignore
.gitignore
 
 
Make
Make
 
 
Makefile
Makefile
 
 
README
README
 
 
env.el
env.el
 
 

Repository files navigation

   



      


  
      

      

        

          

            

  
About


      

        Fixed FCT proof for latest coq and ssreflect
      




  



  
  

  

    
      
      Activity
  



  
Stars

  

    
      
      11
      stars
  


  
Watchers

  

    
      
      2
      watching
  


  
Forks

  

    
      
      1
      fork
  


    

      
          Report repository
    




          

        


        
            

              

                

  
    Releases



    
No releases published


              

            


        
        
            

              

                  
    

  
    Packages
      




        

          

          
 

        

        

          

          
 

        

        

          

          
 

        




              

            


        
            

        
        
        
            

              

                
Languages