University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–30 of 729 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 Veterinary report
Veterinary report
University of Illinois. College of Veterinary Medicine

Thumbnail for Graduate School of Library and Information Science ... annual report. 2005
Graduate School of Library and Information Science ... annual report. 2005
Graduate School of Library and Information Science. University of Illinois at Urbana-Champaign.