Here's some ideas of how we could improve this course: * Integrate with Imandra AI * Default deployments to Now.sh instead of GH Pages * Create docs with BsDoc * Pick a CSS library
Here's some ideas of how we could improve this course: