allanlw/ATS-guide

Cheatsheet for theorem proving in ATS