../ binders.pngadd documentation for elaboration reflection7 years ago compareToProofAssist.pngadd documentation for elaboration reflection7 years ago effects-tree.pngSphinx Based Documentation for Idris.12 years ago elab.pngadd documentation for elaboration reflection7 years ago elabLogicEx1_1.pngadd documentation for elaboration reflection7 years ago elabLogicEx1_2.pngadd documentation for elaboration reflection7 years ago elabLogicEx1_3.pngadd documentation for elaboration reflection7 years ago elabLogicEx1_4.pngadd documentation for elaboration reflection7 years ago elabOverview.pngadd documentation for elaboration reflection7 years ago elabProofState.pngadd documentation for elaboration reflection7 years ago elabProofStateEx1_1.pngadd documentation for elaboration reflection7 years ago elabProofStateEx1_2.pngadd documentation for elaboration reflection7 years ago elabProofStateEx1_3.pngadd documentation for elaboration reflection7 years ago idrisTopLevel.pngadd documentation for elaboration reflection7 years ago login.pngRename Context->Resources in ST10 years ago netstate.pngAdd network example to ST tutorial10 years ago plusReducesProof.pngrewrite documentation for interactive theorem proving8 years ago plusReducesProof.svgrewrite documentation for interactive theorem proving8 years ago tree.pngadd documentation for elaboration reflection7 years ago