@roboul75.bsky.social
@teorth.bsky.social hello, Cnrs with coq automates the proof of Feit Thompson theorem with Coq, why not retake this code to lean?
September 15, 2025 at 9:58 AM
@teorth.bsky.social hello, Cnrs with coq automates the proof of Feit Thompson theorem with Coq, why not retake this code to lean?
@raveaudgilles.bsky.social je me prendrais bien un ricardo pour 5 volumes d'eau avant de parler des avantages comparatifs, jean baptiste says
November 18, 2024 at 5:02 PM
@raveaudgilles.bsky.social je me prendrais bien un ricardo pour 5 volumes d'eau avant de parler des avantages comparatifs, jean baptiste says
@raveaudgilles.bsky.social Bonjour, monsieur le professeur . Merci monsieur le professeur .
youtu.be/nXW-5lWbXIg?...
youtu.be/nXW-5lWbXIg?...
Hugues Aufray - Adieu monsieur le professeur (Live officiel « Plus live que jamais » Paris 2005)
YouTube video by Hugues Aufray
youtu.be
November 18, 2024 at 5:01 PM
@raveaudgilles.bsky.social Bonjour, monsieur le professeur . Merci monsieur le professeur .
youtu.be/nXW-5lWbXIg?...
youtu.be/nXW-5lWbXIg?...