2025 03 22

I talked about finiteness and searchability in constructive mathematics at 有限集合オフ (Offline meeting on finite sets), Ebisu (Japan), 22 March 2025.