Agda

Agda is a language that used in formal proof verification for mathematics and computer science.

Basic

• Learn You an Agda
• Official Tutorials

Advanced

• Extensive book on theorem proving: Verified Functional Programming in Agda
• Formalizing proofs in Group theory.