/ATS-guide

Cheatsheet for theorem proving in ATS

Intro

These are some collected documents and notes I've taken on ATS, mostly for my own use. Most of the content is from Introduction to Programming in ATS, so it's under whatever license that is under.