diff --git a/src/sessions/2025-05-23.md b/src/sessions/2025-05-23.md
new file mode 100644
index 0000000..330722f
--- /dev/null
+++ b/src/sessions/2025-05-23.md
@@ -0,0 +1,25 @@
+---
+title: "Wybe - A CE-embedded proof checker"
+preview: "Wybe - A CE-embedded proof checker"
+isDraft: true
+date: 2025-05-23T13:00:00.000Z
+id: "2025/05/23"
+champion: "Luis Ángel Méndez Gort"
+zoomLink: ""
+zoomPasscode: "proof"
+issueLink: ""
+company: ""
+youtubeId: ""
+---
+
+## Topic
+
+While functional, type-safe programming is a good starting point for the correctness of a program, it's still far away from a safe bet. Formal proofs still shine here. But proof systems still often suffer from being disconnected from the original code.
+
+Wouldn't it be great to have a proof checker embedded in F#?
+
+Hold your type and enter [Wybe](https://github.com/lamg/wybe), a proof checker embedded in F#'s computation expressions.
+
+## Champion
+
+- [Luis Ángel Méndez Gort](https://github.com/lamg/)