RIMS workshop : New frontiers of proof and computation

2023/12/11-2023/12/14