The Agda Wiki
Changes
·
(Group)
·
View
Edit
History
Print
Libraries
/
\
Libraries
Sequent
Sequent calculus LK in Agda
Peano Arithmetic over LK (new syntax)
an example usage of PA module
Soundness theorem of propositional logic
Completeness theorem of propositional logic by Schuette's method
Agda
Main
Downloads
Release Notes
Getting Started
User Manual
Tutorials
Libraries
How to
Publications
Community
Agda Meetings
Report a Bug
Recent Changes
PmWiki Help
edit SideBar
Edit
|
History
|
Recent Changes
(all)
|
Search
Page last modified on November 18, 2008, at 11:52 am
Powered by
PmWiki