Re: [boston-lisp] wiki of formal proofs