nLab Ingo Blechschmidt

 Publications

 Publications

On synthetic algebraic geometry:

On constructive algebra:

Introduction to the Agda proof assistant:

An online Agda interface:

category: people

Last revised on November 8, 2023 at 09:26:37. See the history of this page for a list of all contributions to it.