From: ········@interramp.com
Subject: Q: FPL for proving theorems about functions?
Date: Mon, 24 Oct 1994 05:59:34 +0000
Message-ID: <PP000547.94Oct23225935@bedlam.interramp.com>

  I am wondering if there exists a functional programming language
that had as its primary design objective the goal of simplifying as
much as possible the task of implementing in it an interactive program
for developing proofs of theorems about functions which have been
defined in it.

  Thank you.

  Bill

 

  
  
--
Bill Hogan <······@rahul.net>

    If you can find a better Unix than Linux, buy it!