GitHub repository: Hibou57/ATS-guide
Description: Cheatsheet for theorem proving in ATS