[Jprogramming] Proofs in J

[David Ward Lambert]

You can convert to a single dyadic proof with (the well known, I'm
ensuring)

   verb~~

> From: Don Guinn <donguinn at gmail.com>
> To: programming at jsoftware.com
> Subject: Re: [Jprogramming] Proofs in J
> Message-ID:
>         <CAEcakcOrEg48v=G98kdfAgPTu3cV0LUcJw_XhEMx-k9kpqd4Jw at mail.gmail.com>
> Content-Type: text/plain; charset=UTF-8
> 
> Changing the thread.
> 
> No. This is a way to check one's work in deriving a proof. And it is
> not
> too difficult to convert the tacit expression to explicit then make
> the
> proof. See example below. Interesting that you chose a monadic test.
> Tacit
> verb phrases are ambivalent. Therefore there must be two proofs.
> Actually,
> the monadic form is not an identity.