Authors

Lily Brown, Andy Friesen, and Alan Jeffery

Venue

Human Aspects of Types and Reasoning Assistants Workshop 2021

Abstract