Retourner au contenu associé (journal : Java dans le navigateur : ce n'est pas fini, ça sera pire !)
Posté par kantien le 15 septembre 2016 à 14:58. En réponse au journal Java dans le navigateur : ce n'est pas fini, ça sera pire !. Évalué à 3.
Il y en a qui font bien tourner le moteur de Coq dans un navigateur pour enseigner la démonstration en mathématique.
Une démonstration en video : ça a de la gueule ! :-)
Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: Rien de neuf
Posté par kantien . En réponse au journal Java dans le navigateur : ce n'est pas fini, ça sera pire !. Évalué à 3.
Il y en a qui font bien tourner le moteur de Coq dans un navigateur pour enseigner la démonstration en mathématique.
Une démonstration en video : ça a de la gueule ! :-)
Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.