More on Agda

Published: Jan. 13, 2022, 1 a.m.

b'

I talk a bit more about the Agda proof assistant.

'