michael/blog
1
0
Fork 0
Code Issues 2 Pull requests Releases Packages 1 Wiki Activity

convert link
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
Details

Browse source
This commit is contained in:
Michael Zhang 2024-10-19 17:33:38 -05:00
parent 2dc78d6aea
commit 2496ba67f6
2 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
src/content/posts/2024-10-19-cubical-talk.md → src/content/posts/2024-10-19-cubical-talk/index.mdx
View file

@ -4,10 +4,10 @@ date: 2024-10-19T21:47:34.026Z
tags: [agda, cubical, type-theory, talk] tags: [agda, cubical, type-theory, talk]
--- ---
Yesterday I gave my first talk about type theory at my school's grad student seminar series, about some of the work I had been doing with homotopy type theory and cubical Agda. import slides from "./main.pdf?url";
Here is a link to the [slides].
[slides]: ../../talks/2024-10-19-formalizing-mathematics-with-cubical-type-theory.pdf Yesterday I gave my first talk about type theory at my school's grad student seminar series, about some of the work I had been doing with homotopy type theory and cubical Agda.
Here is a link to the <a href={slides}>slides</a>.
It was not a very great talk so I had a couple of important takeaways. It was not a very great talk so I had a couple of important takeaways.

0
public/talks/2024-10-19-formalizing-mathematics-with-cubical-type-theory.pdf → src/content/posts/2024-10-19-cubical-talk/main.pdf
View file