From b29adfbf95e4cc247b13589fe42f6b12757fdc6d Mon Sep 17 00:00:00 2001 From: Julien Marquet Date: Thu, 4 Aug 2022 15:18:37 +0200 Subject: [PATCH] fix link --- src/index.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/index.md b/src/index.md index f8e67c6..995098b 100644 --- a/src/index.md +++ b/src/index.md @@ -13,6 +13,6 @@ Computer Science & Math Student at ENS Ulm Current topics of interest: - - formal verification with [lean](leanprover.github.io) + - formal verification with [lean](https://leanprover.github.io) - [Geometry of Interaction](https://ncatlab.org/nlab/show/Geometry+of+Interaction)