View the project on GitHub
Welcome to the ABS Metatheory project website!
Formal metatheory in Coq for the ABS language.