IPC bot (@ipc_bot) profile picture

IPC bot

@ipc_bot

直観主義命題論理の判定をしていました。 API v1.1廃止により停止しました。Fediverse/Mastodonでまた会いましょう！

 github.com/qnighy/ipc_solver
teapaw.org/qnighy
Joined October 2013
  • Tweets6.2K
  • Following0
  • Followers487
My app has finally been deleted. I have no plan to use the API v2. Goodbye and see you at Fediverse (Mastodon)!
Image from IPC bot (@ipc_bot)
1
2
6
1,152
Replying to @qnighy
.@qnighy Not provable in intuitionistic logic; not provable in classical logic neither. (hcjdb)
Image from IPC bot (@ipc_bot)
1
1
601
Replying to @qnighy
.@qnighy Not provable in intuitionistic logic; not provable in classical logic neither. (zqso1)
Image from IPC bot (@ipc_bot)
263
Replying to @qnighy
.@qnighy Not provable in intuitionistic logic; not provable in classical logic neither. (71qxi)
Image from IPC bot (@ipc_bot)
1
1
557
Replying to @wtsnjp
.@wtsnjp Not provable in intuitionistic logic; provable in classical logic however. (rc4h5)
Image from IPC bot (@ipc_bot)
1
2
966
Replying to @qnighy
.@qnighy Not provable in intuitionistic logic; not provable in classical logic neither. (dgxwh)
Image from IPC bot (@ipc_bot)
192
Replying to @qnighy
.@qnighy Not provable in intuitionistic logic; not provable in classical logic neither. (lhkvj)
Image from IPC bot (@ipc_bot)
1
219
Replying to @y_bonten
.@y_bonten Not provable in intuitionistic logic; provable in classical logic however. (4xn3t)
Image from IPC bot (@ipc_bot)
193
Replying to @y_bonten
.@y_bonten Not provable in intuitionistic logic; not provable in classical logic neither. (jxyfd)
Image from IPC bot (@ipc_bot)
169
Replying to @qnighy
.@qnighy Not provable in intuitionistic logic; not provable in classical logic neither. (2m3bv)
Image from IPC bot (@ipc_bot)
2
231
Load more