Questions tagged [first-order-logic]
The first-order-logic tag has no usage guidance.
1
question
5
votes
3
answers
412
views
Creating a proof assistant for first order logic in Haskell
I am planning to implement a FOL proof assistant in Haskell. What are some useful libraries and implementations I should be looking at?
Here are some further details. I have a simple proof checker for ...