Skip to main content
Global
🔎︎
Login
Thread
uchijo
1 week ago
Coq、発音がおちんちんだからという理由で名前変えられてて笑った おちんちん定理証明エンジニア
Login
to reply
Replies (
0
)
No replies yet. Be the first to leave a comment!