CS370: Homotopy Type Theory Arend Resources

• Arend Tutorial from Class
• Official Arend Page
• Official Arend Tutorial