aneilmac

@aneilmac/lean-client-js-browser

This is a fork of [lean-client-js-browser](https://github.com/leanprover/lean-client-js/tree/master/lean-client-js-browser) which has been edited for use in modern JS projects.

@aneilmac/blockly-theme-seshat

The Seshat Blockly theme.