Uma Zalakain

Publication Activity (10 Years)

Years Active: 2020-2021
Publications (10 Years): 2

Publications

Uma Zalakain, Ornela Dardha
π with Leftovers: A Mechanisation in Agda. FORTE (2021)
Uma Zalakain, Ornela Dardha
π with leftovers: a mechanisation in Agda. CoRR (2020)