Please see the Nuprl Math Library .