Copyright 2020-2025, Patrick Massot, Peter LeFanu Lumsdaine, Andrej Bauer, Reinis Cirpons
