Abstract

This paper explores the implementation of intuitionistic logic in the domain-specific language Coq. In doing so, it provides a broad overview of formal logic, non-classical logics, and important concepts in intuitionistic logic. The paper also introduces the reader to Coq and to various tools that allow one to customize Coq's functioning.

Advisor

Guarnera, Drew

Department

Computer Science

Keywords

logic, intuitionism, coq

Publication Date

2022

Degree Granted

Bachelor of Arts

Document Type

Senior Independent Study Thesis

Share

COinS
 

© Copyright 2022 Corey Ullman