University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–30 of 41 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 Derivations on o-minimal fields
Derivations on o-minimal fields
Kaplan, Elliot Alexander

Thumbnail for Structures and dynamics
Structures and dynamics
Panagiotopoulos, Aristotelis