Tag: toc-quelques-succ

: These URLs in Geminispace contain the tag: toc-quelques-succ

Programmer des démonstrations : une modeste invitation aux assistants de preuve ⌘ URL: gemini://jpfox.fr/rss/linuxfr-depeches/2025-02-24_12-07_programmer-des-demonstrations-une-modeste-invitation-aux-assistants-de-preuve.gmi