Least-fixed point semantics of partial recursive functions


 COMPILATION

Make sure that Coq and Ocaml are installed in your system. The following 
versions have been tested:
      Ocaml 3.09.3
      Coq 8.1; Coq svn 10464 (23/01/2008)

Make sure Coq and OCaml binaries are available in the path (or, alternatively,
correct the corresponding path variables in Makefile).

Try executing

      make

and then

      ./perfsqrt <some integer>



 AUTHORS

Yves Bertot
Vladimir Komendantsky