Akira, M. さんのマイページ

@ka9e

monologue is described informally / maintains @math_fml_bot / latest interests : formal verification ; c.f. @ka9e_iff


今後の予定過去の予定日付未定


イベントがありません。