These are Kevin Buzzard's notes on using Lean to teach a course on CoCalc. Important note: I had paid some money to CoCalc, giving me things like internet access for a project, and the ability to use ...

Our latest CoCalc tutorial focuses on creating computational whiteboards. These are rich, interactive spaces ideal for collaborative data analysis, teaching, and brainstorming.

ハマったのでメモ。 CoCalcは様々なコンピュータ言語が実行できるwebベースのクラウドコンピューティングプラットフォームです。無料でも使うことができるので、コンピュータ言語に手軽に触れたい人、またLinuxを使ってみたいという方にはよいサービスだ ...

If not, consider checking out our latest tutorial. We delve into how to access the open-source version of RStudio through CoCalc's Notebook Servers, enhancing your data analysis and development ...