2,270 followers
@pi8027 @suharahiromichi Check out the abstract! https://t.co/0dDDIfaPLq
@pi8027 @suharahiromichi Check out the abstract! https://t.co/0dDDIfaPLq
RT @Jose_A_Alonso: Validating mathematical structures. ~ Kazuhiko Sakaguchi. https://t.co/rad59cTNAh #ITP #Coq #math
RT @Jose_A_Alonso: Validating mathematical structures. ~ Kazuhiko Sakaguchi. https://t.co/rad59cTNAh #ITP #Coq #math
Validating mathematical structures. ~ Kazuhiko Sakaguchi. https://t.co/rad59cTNAh #ITP #Coq #math