2025 12 23

I talked about free modules in constructive algebra at RIMS共同研究「証明論と計算論の新地平」, Kyoto (Japan), 22-25 December 2025. Slides.