posts related to books

Reading time: less than a minute (46 words).


Introducing the Agda Universal Algebra Library

Reading time: less than a minute (117 words).

(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 documentation (tutorial/textbook) that we are currently developing to formalize 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).

🔗 Comprehensive Exams in Mathematics