1,539 followers
RT @mm_jj_nn: Proof-checking Euclid https://t.co/lf9HYEeLfN https://t.co/7Rp9dtWp0j
RT @mm_jj_nn: Proof-checking Euclid https://t.co/lf9HYEeLfN https://t.co/7Rp9dtWp0j
Proof-checking Euclid https://t.co/lf9HYEeLfN https://t.co/7Rp9dtWp0j
RT @jnarboux: Proof Checking Euclid https://t.co/O5i5nsQKjk
Proof Checking Euclid https://t.co/O5i5nsQKjk