PrototypeCommon
WilfredTA/formal-methods-curriculum
Formal methods training program with an emphasis on software in the blockchain & decentralized financed (DeFi) industry
- Owner
- WilfredTA (personal account)
- Stars
- Stars: 169
- Forks
- Forks: 13
- Language
- Jupyter Notebook
- License
- MIT
- Created
- 2022
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Jupyter Notebook
All Jupyter Notebook repos- Marker-Inc-Korea/Korean-SAT-LLM-LeaderboardStars: 169Jupyter NotebookPrototype
- Xjj020315/qwen3-masterStars: 169Jupyter NotebookPrototype
- Nicolepcx/harness_engineeringStars: 169Jupyter NotebookPrototype
- jkthompson/pyspark-picturesStars: 169Jupyter NotebookPrototype
- mikesj-public/convolutional_autoencoderStars: 169Jupyter NotebookPrototype
- turi-code/tutorialsStars: 169Jupyter NotebookPrototype