root.tex edited online with Bitbucket. Reference to the paper added.
Created originally on Bitbucket by prathamesh_t (Prathamesh)
root.tex edited online with Bitbucket. Reference to the paper added.
There will be about 1h of downtime on 2020-03-02 at 13:00 UTC+1 (change of servers and upgrade to Heptapod 0.20.0 final)
Created originally on Bitbucket by prathamesh_t (Prathamesh)
root.tex edited online with Bitbucket. Reference to the paper added.