Mercurial > hg > Papers > 2018 > nozomi-master

view paper/agda.tex @ 49:7f1b5c33b282

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add agda.tex
author atton <atton@cr.ie.u-ryukyu.ac.jp>
date Mon, 30 Jan 2017 16:59:53 +0900
parents
children 451c510825de
line wrap: on
line source

\chapter{証明支援系言語 Agda による証明手法}
\label{chapter:agda}
\section{依存型を持つ証明支援系言語 Agda}
\section{Natural Deduction}
\section{Curry-Howard Isomorphism}
\section{Reasoning}