Skip to content
#

logical-programming

Here are 355 public repositories matching this topic...

I made a project like Microsoft Paint named as 'Sketch With Sam' in Python by Tkinter...In this project, I made a total of 10 shapes, but some of that shape can produce multipe shapes with also the same shape in other directions...So that shapes are able to produce other shapes...Even In this project, I also include a screenshot option. I also p…

  • Updated Jul 20, 2021
  • Python

Python package that provides an interface to work with classical propositional and first-order logic, based on my solutions to the textbook Mathematical Logic Through Python by Nisan and Gonczarowski

  • Updated Aug 22, 2024
  • Python

Improve this page

Add a description, image, and links to the logical-programming topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the logical-programming topic, visit your repo's landing page and select "manage topics."

Learn more