/ATS-guide

Cheatsheet for theorem proving in ATS

No issues in this repository yet.