First-order natural deduction in Agda

Warren, Louis. First-order natural deduction in Agda. 2021. [doi]

Abstract

Abstract is missing.