Depuis que je fais du Latex, j'ai pris l'habitude de faire attention à la formulation de mes requêtes dans les moteurs de recherche, et j'arrive à ne pas avoir trop souvent des sites spécialisés dans le latex. Mais je découvre qu'il faut faire aussi attention avec Coq. Si on demande "tactique Coq" à son moteur de recherche, on tombe sur des liens vers une société française de matériel tactique pour forces de l'ordre.
On se retrouve à devoir chercher "Coq tactic" 😅
=> More informations about this toot | View the thread | More toots from Anne73939133@framapiaf.org
text/geminiThis content has been proxied by September (ba2dc).