Let f be a function. We are told that f^2 (f composed with itself) has a unique fixed point. How many fixed points could f have?

Here is the Lean 4 documentation, it's still under development

A worker-owned bicycle courier service. The software they use is open source, under an interesting licence that only allows use by co-operatives.

A video by Co-operatives UK on housing co-ops for students as an alternative to renting off landlords, who often treat their tenants pretty poorly

Learn about the fantastic and beautiful community that has been created by a housing co-operative in the UK. This could be the future of housing for everyone, and this is something that is demonstrably possible today. Check out LILAC's website here: http://www.lilac.coop/

Talk by Benoît Molineaux. A really inspiring story of entrepreneurship and cooperation that has created a wonderful community from nothing.

A nice video by Co-operatives UK about what co-operatives actually are.