Signin

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

Urs Schreiber • September 25, 2023
Video Thumbnail

You May Also Like

Urs Schreiber

View Channel

About

No channel description available.

Latest Posts

Video Thumbnail

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

Urs Schreiber

AI Assistant

Loading...