Encore un langage au nom peu pratique pour faire des recherches sur le web à son sujet

Retourner au contenu associé (lien : F*: langage orienté vers la preuve)

# Encore un langage au nom peu pratique pour faire des recherches sur le web à son sujet

Posté par TBTB le 19 mai 2024 à 12:30. En réponse au lien F*: langage orienté vers la preuve. Évalué à 8.

J'ai fini par réussir à trouver :
https://www.fstar-lang.org/