Login / Signup
π with Leftovers: A Mechanisation in Agda.
Uma Zalakain
Ornela Dardha
Published in:
FORTE (2021)
Keyphrases
</>