University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–5 of 5 items
Thumbnail for Theorem Proving in Lean
Theorem Proving in Lean
Hieronymi, Philipp ; Karve, Vaibhav; Blanchard, Eion; Harman, Scott; Ravi, Nikil; Zhao, Fenglong; Thompson, Kyle; Xu, Tianfan; Schargorodsky, Joel; Wulffraat, Noble • 2022

Thumbnail for Annual register. 1943-44
Annual register. 1943-44
University of Illinois at Urbana-Champaign