Questions tagged [first-order-logic]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
5 votes
3 answers

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 ...
user avatar