Program for proving elementary algebraic (perspective - geometry) theorems using distributed computations
-
Updated
Jun 11, 2023 - C++
#
formal-logic
Here are 3 public repositories matching this topic...
A minimal implementation of an expansion-based QBF solver which does not use recursion.
-
Updated
Aug 17, 2018 - C++
Interpreter for the Datalog programming language. Parse, tokenize, AST, and execute database queries using relational algebra operators
-
Updated
Apr 9, 2024 - C++
Improve this page
Add a description, image, and links to the formal-logic topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the formal-logic topic, visit your repo's landing page and select "manage topics."