EXPERIMENTAL ADDONBe cautious when using this add-on, as there are currently no limits on what Standard ML code can be executed on the client's machine.
To use this extension you need to have PolyML (http://polyml.org/
) installed on your machine.
was developed by Karolis Narkevicius
and Lucas Dixon
. We'd like to thank EPSRC Platform grant The Integration and Interaction of Multiple Mathematical Reasoning Processes"
, and the Edinburgh DReaM group
for supporting this work. We'd also like to thank David Matthews for his input, ML wizardry, and tireless maintenance of PolyML