On synthetic algebraic geometry:
On constructive algebra:
Introduction to the Agda proof assistant:
An online Agda interface:
Last revised on November 8, 2023 at 09:26:37. See the history of this page for a list of all contributions to it.