agda-ualib

Introducing the Agda Universal Algebra Library

Reading time: less than a minute (113 words).
Banner

(Shown above is a general formulation of composition of operations in dependent type theory, as derived here.)

This page is a teaser for the agda-ualib package and its detailed documentation (tutorial/textbook) that we are currently developing to formalize important parts of universal algebra in the Agda functional programming language and interactive theorem prover.

Math PhD Exams

Exams in Group Theory, Ring Theory, Complex Analysis, and Real Analysis

Reading time: about 1 minute (322 words).
Banner

🔗 Comprehensive Exams in Mathematics