https://sarawaku.com/rspo-and-mspo-working-on-formalising-dual-certification-20750
RSPO and MSPO working on formalising dual certification - Sarawaku
GENTING HIGHLANDS: The Roundtable on Sustainable Palm Oil (RSPO) and the Malaysian Sustainable Palm Oil (MSPO) are working on formalising dual certification...
working onrspomspoformalisingdual
https://afm.episciences.org/16007
#16007 - Formalising the local compactness of the adele ring
The adele ring of a number field is a central object in modern number theory. Its status as a locally compact topological ring is one of the key reasons why....
the localadele ringformalisingcompactness