Skip to content
/ cpl Public

An implementation of natural deduction for Classical Propositional Logic.

0 stars 1 fork Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

p-ndr/cpl

1 Branch0 Tags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

p-ndrp-ndr
Merge pull request #1 from BelegCuthalion/main
Dec 25, 2023
11716fd · Dec 25, 2023

History

5 Commits
.gitignore
.gitignore
Oct 23, 2023
README.md
README.md
Oct 20, 2023
cpl.v
cpl.v
Oct 23, 2023

Repository files navigation

   



      


  
      

      

        

          

            

  
About


      

        An implementation of natural deduction for Classical Propositional Logic.
      




  



  
  

  

    
      Activity  



  
Stars

  

    
      0
      stars  


  
Watchers

  

    
      1
      watching  


  
Forks

  

    
      1
      fork  


    

      
          Report repository
    




          

        


        
            

              

                

  Releases


    
No releases published


              

            


        
        
            

              

                
  

  Packages
      



      

        No packages published 

      




              

            


        
            

        
            

              

                

  Contributors
      2



    
  





              

            


        
        
            

              

                
Languages