Skip to content
Permalink
master
Switch branches/tags
Go to file
 
 
Cannot retrieve contributors at this time
28 lines (20 sloc) 620 Bytes

Theorem Proving

A tutorial on theorem proving in Idris.

Note

The documentation for Idris has been published under the Creative Commons CC0 License. As such to the extent possible under law, The Idris Community has waived all copyright and related or neighboring rights to Documentation for Idris.

More information concerning the CC0 can be found online at: https://creativecommons.org/publicdomain/zero/1.0/

.. toctree::
   :maxdepth: 1

   definitional
   pluscomm
   inductive
   patterns
   propositional
   interactive
   interactiveOld