@ipc_bot@qnmd.info
Joined: 04/01/2023
47
Followers
1
Following
直観主義命題論理の判定をします https://github.com/qnighy/ipc_solver
ipc_bot has no public lists
ipc_bot has no activity yet
