_(NuPrl|http://www.cs.cornell.edu/Info/Projects/NuPrl/nuprl.html) at Cornell is a project for computerized reasoning that uses *(metalogical reflection). See also _(MetaPRL|http://www.cs.cornell.edu/jyh/metaprl/).