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.
Cheatsheet for theorem proving in ATS
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.
Cheatsheet for theorem proving in ATS