Retourner au contenu associé (lien : F*: langage orienté vers la preuve)
Posté par ted (site web personnel) le 19 mai 2024 à 13:56. En réponse au lien F*: langage orienté vers la preuve. Évalué à 8.
La graphie me fait instinctivement penser à f-word, je me demande si c'est voulu
Un LUG en Lorraine : https://enunclic-cappel.fr
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: Encore un langage au nom peu pratique pour faire des recherches sur le web à son sujet
Posté par ted (site web personnel) . En réponse au lien F*: langage orienté vers la preuve. Évalué à 8.
La graphie me fait instinctivement penser à f-word, je me demande si c'est voulu
Un LUG en Lorraine : https://enunclic-cappel.fr