<
sthalik>
nimaje, VSIDS looks like it's generally useful even for less rigorous subjects, such as general subject of symbolic logic. thanks.
otisolsen70 has joined #pypy
[Arfrever] has quit [Read error: Connection reset by peer]
[Arfrever] has joined #pypy
Dejan has joined #pypy
yosef` has joined #pypy
yosef` has quit [Ping timeout: 246 seconds]
yosef` has joined #pypy
yosef` has quit [Ping timeout: 246 seconds]
mgornyz is now known as mgorny
Dejan has quit [Quit: Leaving]
otisolsen70_ has joined #pypy
otisolsen70 has quit [Ping timeout: 248 seconds]
otisolsen70_ has quit [Quit: Leaving]
otisolsen70 has joined #pypy
otisolsen70 has quit [Quit: Leaving]
[Arfrever] has quit [Ping timeout: 258 seconds]
[Arfrever] has joined #pypy
[Arfrever] has quit [Ping timeout: 250 seconds]
[Arfrever] has joined #pypy