2,221 followers
Open Access UCL Research: A generic cyclic theorem prover - UCL Discovery https://t.co/e3VY0gni0b
Open Access UCL Research: A generic cyclic theorem prover - UCL Discovery https://t.co/e3VY0gni0b
RT @Nymphium: shift0/dollar ($) というオペレータが良い感じらしいです(雑) https://t.co/Zz9L6rh1Bk
RT @Nymphium: shift0/dollar ($) というオペレータが良い感じらしいです(雑) https://t.co/Zz9L6rh1Bk
shift0/dollar ($) というオペレータが良い感じらしいです(雑) https://t.co/Zz9L6rh1Bk