---
title: 'Resolution Algorithm for FOL'
summary: 'An implementation of a resolution algorithm for first-order logic.'
tags:
  - Haskell
date: '2024-04-05'

# Optional external URL for project (replaces project detail page).
external_link: 'https://git.vatthauer.xyz/TypeTheory/resolution'

links:
  - icon: git-alt
    icon_pack: fab
    name: Repo
    url: https://git.vatthauer.xyz/TypeTheory/resolution
url_code: ''
url_pdf: ''
url_slides: ''
url_video: ''
---