leonv/resumee-website
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
resumee-website/content/projects/resolution/index.md
Leon Vatthauer c6ef5edfb6
Added experiences
2024-04-06 15:57:26 +02:00

466 B
Raw Blame History

title summary tags date external_link links url_code url_pdf url_slides url_video
Resolution Algorithm for FOL An implementation of a resolution algorithm for first-order logic.
Haskell
2024-04-05 https://git.vatthauer.xyz/TypeTheory/resolution
icon icon_pack name url
git-alt fab Repo https://git.vatthauer.xyz/TypeTheory/resolution