Login / Signup
π with leftovers: a mechanisation in Agda.
Uma Zalakain
Ornela Dardha
Published in:
CoRR (2020)
Keyphrases
</>