Skip to content

Commit

Permalink
🍕
Browse files Browse the repository at this point in the history
  • Loading branch information
@oliver-butterley
oliver-butterley committed Aug 4, 2023
1 parent 9029ecd commit c8bafcf
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion site/practical.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -28,4 +28,4 @@ Contact one of the [local organizers](/team) for anything practical.

For those who want to go deeper into Lean and mathlib, check out some [other Lean events](https://leanprover-community.github.io/events.html).

![Robots enjoy pizza too](images/pizza.jpeg)
<!-- ![Robots enjoy pizza too](images/pizza.jpeg) -->

0 comments on commit c8bafcf

Please sign in to comment.