“Constructive Real Numbers in the Agda Proof Assistant”, talk by Zach Murray at CQTS @ NYU Abu Dhabi Blog 03/07/2026 · 0 Comment "Constructive Real Numbers in the Agda Proof Assistant", talk by Zach Murray at CQTS @ NYU Abu DhabiMathematical Cryptanalysis in the Real WorldS01.9 Proof That a Set of Real Numbers is UncountableAn Overview of High Performance Computing and Future RequirementsLecture 5: The Archimedian Property, Density of the Rationals, and Absolute ValueNYU Abu Dhabi Research by the NumbersThe Axiomatization of Constructive Real Numbers 12
