Para probar los miles de complementos que están disponibles aquí, descarga Mozilla Firefox, ¡una forma rápida y gratuita de navegar en la Web!Cerrar
Bienvenido a Complementos Firefox.
Elige de entre miles de funciones y estilos extra para hacer de Firefox tu navegador.Cerrar
Acerca de este complemento
Be 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.
PolyChrome 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.
Join the development or report bugs at https://github.com/KidkArolis/PolyChrome