Skip to content

Commit

Permalink
update
Browse files Browse the repository at this point in the history
  • Loading branch information
@jonas-frey
jonas-frey committed Aug 18, 2023
1 parent 1b986e8 commit 4e8eb31
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion index.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@ title: "Homotopy Type Theory 2023"
---

The Second International **Conference on [Homotopy Type
Theory](https://homotopytypetheory.org)** (HoTT 2023) will take place
Theory](https://homotopytypetheory.org)** (HoTT 2023) took place

> **Monday 22nd May to Thursday 25th May**
Expand Down

0 comments on commit 4e8eb31

Please sign in to comment.