research
∙
04/08/2021
First-order natural deduction in Agda
Agda is a dependently-typed functional programming language, based on an...
share
research
∙
05/16/2018
Use your Google Account to sign in to DeepAI
