Skip to content

Commit 56521cf

Browse files
kondylidoukondylidou
committed
dagstuhl talk
1 parent 7be5cf7 commit 56521cf

2 files changed

Lines changed: 5 additions & 0 deletions

File tree

‎_talks/2026-dagstuhl.md‎

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
---
2+
title: Tao's Equational Proof Challenge Accepted
3+
date: 2026-02-26
4+
pdf: /assets/pdf/talks/dagstuhl2026.pdf
5+
---

‎assets/pdf/talks/dagstuhl2026.pdf‎

452 KB
Binary file not shown.

0 commit comments

Comments
 (0)