Updated 9 months ago
tensor-theorem-prover
First-order logic theorem prover supporting unification with approximate vector similarity
Updated 9 months ago
logic-games
Contains the code from the book "Modelling logic games and puzzles in First Order Logic" https://link.springer.com/book/10.1007/978-3-030-62547-4