docs2

docs2 copied to clipboard

hacker one is 404

2

hackerone is 404

jmikedupont2

Feature/coq

2

Example of translating an example to coq

jmikedupont2

https://blog.stackblitz.com/posts/announcing-tutorialkit/

shimkiv

Trivo25

Trivo25

Would be nice to have some actual examples here https://docs.minaprotocol.com/zkapps/writing-a-zkapp#examples-of-zkapps 

mitschabaude

[Internal discussion](https://o1-labs.slack.com/archives/C02DSGWNQNA/p1717568884931959).

shimkiv

related to #457 see individual issues for each tutorial scope includes updating the workflow on https://github.com/o1-labs/docs2/wiki/Tutorial-Runner

barriebyron

The ability to scaffold a UI framework with zkapps-cli is not currently documented in the tutorials. It should be Tutorial 4 should cover the feature and explain all the options.

nicc

The ability to scaffold a UI framework with zkapps-cli is not currently documented in the tutorials. It should be! Tutorial 4 has its own issue to cover this feature in...

nicc