# WilfredTA/formal-methods-curriculum

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

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

WilfredTA/formal-methods-curriculum, dépôt open source à 169 étoiles sur GitHub. Carte Prototype de RepoMasters. Formal methods training program with an…

| Champ | Valeur |
| --- | --- |
| Propriétaire | [WilfredTA](https://repo.masters-masters.com/owners/WilfredTA) |
| Étoiles | 169 |
| Forks | 13 |
| Langage | [Jupyter Notebook](https://repo.masters-masters.com/languages/jupyter-notebook) |
| Licence | MIT |
| Création | 2022 |
| Rang | [Prototype (100 à 249 ★)](https://repo.masters-masters.com/ranks/rush) |
| Voir sur GitHub | [WilfredTA/formal-methods-curriculum](https://github.com/WilfredTA/formal-methods-curriculum) |

## Fiche du dépôt

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

Rang des dépôts qui ont 100 à 249 ★ sur GitHub. Probabilité publiée par carte tirée : 70 %. Rareté : Commune.

## D’autres dépôts Jupyter Notebook

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

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.