Just checked, it looks like following: >>> ctx.eval("var x = {company: 'Sqreen'}; x.company") although it doesn't give much clue how I install npm for referen

Just checked, it looks like following: >>> ctx.eval("var x = {company: 'Sqreen'}; x.company") although it doesn't give much clue how I install npm for referenced prover. Another story is that referenced prover is not just prover implemented in HS, it is some compiler of functional language, so you would need to call Pyminiracer from your py, which calls some JS function, which will receive code in that functional language: id : @(A: *) @(x: A) A = #A #x x;