While the code spends 10+ seconds compiling if you're viewing it in a browser, you can just read the extensive comments at the top.
-
-
Prikaži ovu nit
-
Permalink which will always work: https://leanprover-community.github.io/lean-web-editor/#url=https%3A%2F%2Fraw.githubusercontent.com%2FImperialCollegeLondon%2FM4P33%2Ff427bb3057138dc9ca52830f3147d3cec443a85a%2Fsrc%2Faffine_algebraic_set%2FV.lean … (the link in the first tweet is broken now because I added some non-mathlib imports)
Prikaži ovu nit
Kraj razgovora
Novi razgovor -
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.