Welcome to the 5th Workshop on Human Aspects of Types and Reasoning Assistants (HATRA 2024) submissions site.
Submissions
The deadline for registering submissions has passed.
Welcome to the 5th Workshop on Human Aspects of Types and Reasoning Assistants (HATRA 2024) submissions site.
The deadline for registering submissions has passed.