Skip to main content

Lean community blog

Main site
Archive
Tags
About
RSS feed

Posts by Kevin Buzzard

2023-06-12 07:42Formalising cohomology theories

Contents © 2023 The Lean prover community - Powered by Nikola