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:
      Coq 8.2
      Ocaml 3.09.3

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