English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

The Galois group of an infinite Galois extension has a natural topology,called the Krull topology, which has the important property of being profinite.It is impossible to talk about Galois representations, and hence the LanglandsProgram, without first defining the Krull topology. We explain ourformalisation of this topology, and our proof that it is profinite, in the Lean3 theorem prover.

Formalising the Krull Topology in Lean