Revision as of 00:23, 10 January 2020 (view source) PureFox (talk \| contribs) m (→‎{{header\|Go}}: Corrected typo in comment.) ← Older edit		Revision as of 17:44, 14 March 2020 (view source) Thundergnat (talk \| contribs) (alphabetize, minor clean-up) Newer edit →
Line 608: See also [[Proof/Haskell]] for implementation of a small theorem prover. =={{header\|Idris}}==

Proof: Difference between revisions

Proof (view source)