Formalising cohomology theories #70
giscus[bot]
bot
Replies: 1 comment
-
|
The final report on the workshop is now available at https://www.birs.ca/files//workshops/Juniper/23w5124/report23w5124.pdf, with comments from many participants! |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
Formalising cohomology theories
Kevin Buzzard rounds up the BIRS conference on formalising cohomology theories.
Formalising cohomology theories
At the end of May a group of formalisation enthusiasts, many of them Lean experts, met
https://leanprover-community.github.io/blog/posts/banff-cohomology/
Beta Was this translation helpful? Give feedback.
All reactions