# WilfredTA/formal-methods-curriculum

<https://repo.masters-masters.com/en/repos/WilfredTA/formal-methods-curriculum>

[Home](https://repo.masters-masters.com/en) › [WilfredTA](https://repo.masters-masters.com/en/owners/WilfredTA) › [formal-methods-curriculum](https://repo.masters-masters.com/en/repos/WilfredTA/formal-methods-curriculum)

WilfredTA/formal-methods-curriculum has 169 stars on GitHub. Its RepoMasters card: Prototype tier. Formal methods training program with an emphasis on…

| Field | Value |
| --- | --- |
| Owner | [WilfredTA](https://repo.masters-masters.com/en/owners/WilfredTA) |
| Stars | 169 |
| Forks | 13 |
| Language | [Jupyter Notebook](https://repo.masters-masters.com/en/languages/jupyter-notebook) |
| License | MIT |
| Created | 2022 |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [WilfredTA/formal-methods-curriculum](https://github.com/WilfredTA/formal-methods-curriculum) |

## Repository

Formal methods training program with an emphasis on software in the blockchain & decentralized financed (DeFi) industry

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## Nearby in Jupyter Notebook

- [Xjj020315/qwen3-master · ★ 169 · Jupyter Notebook · Prototype](https://repo.masters-masters.com/en/repos/Xjj020315/qwen3-master)
- [nl2992/fourier-option-pricer · ★ 169 · Jupyter Notebook · Prototype](https://repo.masters-masters.com/en/repos/nl2992/fourier-option-pricer)
- [Nicolepcx/harness\_engineering · ★ 169 · Jupyter Notebook · Prototype](https://repo.masters-masters.com/en/repos/Nicolepcx/harness_engineering)
- [jkthompson/pyspark-pictures · ★ 169 · Jupyter Notebook · Prototype](https://repo.masters-masters.com/en/repos/jkthompson/pyspark-pictures)
- [mikesj-public/convolutional\_autoencoder · ★ 169 · Jupyter Notebook · Prototype](https://repo.masters-masters.com/en/repos/mikesj-public/convolutional_autoencoder)
- [turi-code/tutorials · ★ 169 · Jupyter Notebook · Prototype](https://repo.masters-masters.com/en/repos/turi-code/tutorials)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.