About 1 results for "UCNgcO7xJwTqahpZCICSo8Ug"

"Constructive Real Numbers in the Agda Proof Assistant", talk by Zach Murray at CQTS @ NYU Abu Dhabi

Urs Schreiber • Sep 25, 2023