The avatar for @bryangingechen
Bryan Gin-ge Chen
here to learn
Published
Lean
Edited
Aug 15, 2019
1 star
Lean
Hello, Lean prover!Fibonacci formalized 1: some sumsFibonacci formalized 2: bees and carsConnect Observable notebooks to Lean on your computer with websocketdStepping through currying in LeanLean exercise box
Standalone Lean editor
GitHub Lean doc previewhighlightjs for LeanGitHub Lean file viewer
Insert cell
Insert cell
Insert cell
Insert cell
Insert cell
Insert cell
Insert cell
Insert cell
Insert cell
Insert cell
Insert cell
Insert cell
Insert cell
Insert cell
Insert cell
Insert cell
Insert cell
{
const changeHandler = () => {
changeUrl(viewof main.value.editor.getValue(), 'code');
};
viewof main.value.editor.on('change', changeHandler);
invalidation.then(() => viewof main.value.editor.off('change', changeHandler));
if (!params.url) changeHandler();
}
Insert cell
Insert cell

One platform to build and deploy the best data apps

Experiment and prototype by building visualizations in live JavaScript notebooks. Collaborate with your team and decide which concepts to build out.
Use Observable Framework to build data apps locally. Use data loaders to build in any language or library, including Python, SQL, and R.
Seamlessly deploy to Observable. Test before you ship, use automatic deploy-on-commit, and ensure your projects are always up-to-date.
Learn more