Kyushu University Institute of Mathematics for Industry

[2024/11/25–26] Computer Assisted Theorem Proving and Applications