RepoMasters
Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage. Crédits
AlphaPeu commune

Kha/electrolysis

Simple verification of Rust programs via functional purification in Lean 2(!)

Archivé : ce dépôt n’évolue plus

Propriétaire
Kha (compte personnel)
Étoiles
Étoiles : 340
Forks
Forks : 8
Langage
Lean
Licence
Aucune
Création
2016
Rang
Alpha (250 à 699 ★) Ce que veut dire ce rang
Voir sur GitHub

D’autres dépôts Lean

Tous les dépôts Lean