PrototypeCommune
WilfredTA/formal-methods-curriculum
Formal methods training program with an emphasis on software in the blockchain & decentralized financed (DeFi) industry
- Propriétaire
- WilfredTA (compte personnel)
- Étoiles
- Étoiles : 169
- Forks
- Forks : 13
- Langage
- Jupyter Notebook
- Licence
- MIT
- Création
- 2022
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Jupyter Notebook
Tous les dépôts Jupyter Notebook- Marker-Inc-Korea/Korean-SAT-LLM-LeaderboardÉtoiles : 169Jupyter NotebookPrototype
- Xjj020315/qwen3-masterÉtoiles : 169Jupyter NotebookPrototype
- Nicolepcx/harness_engineeringÉtoiles : 169Jupyter NotebookPrototype
- jkthompson/pyspark-picturesÉtoiles : 169Jupyter NotebookPrototype
- mikesj-public/convolutional_autoencoderÉtoiles : 169Jupyter NotebookPrototype
- turi-code/tutorialsÉtoiles : 169Jupyter NotebookPrototype