This is Metamath on OpenRISC in JS.