Formalized Mathematics (FM)

• Formalized Mathematics 論文誌 (Degruyter/sciendo) への投稿

Mechanized Mathematics and Its Applications, Works in Progress (MMA-WiP)

• Call for Papers – MMA-WiP, Issue 2024, Volume 7【準備中】: submission guideline