Lógica de primer orden en Haskell

Description

This final degree project consists in the implementation of First Order Logic theory and algorithms in Haskell, a functional programming language. Furthermore, a relation between maths and programming based on Curry-Howard correspondence is established, giving an intuitive sort of examples. Moreover, it aims to give an introduction to Haskell and other sources as git and doctest.

Abstract

Universidad de Sevilla. Grado en Matemáticas

Additional details