Congratulations to @Franck_FS on getting his paper on automatically proving equivalences in Idris accepted by CICM!
-
-
I'm glad we broke this bad streak together! At least half the ideas presented are coming from you, so it's the minimum to have you as coauth
-
Oh and thank you for improving my Erdös number from +infinity to something finite (which seems to be 5) ! :D
- 1 more reply
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.