University of Illinois Urbana-Champaign

Submit an Item
Browse
About

Title

Author(s)

Contributor(s)

Issue Date

From:

To:

Keyword(s)

Abstract

Series/Report Name or Number

Type of Resource

Permalink

Full Text

Academic Unit

Undergraduate Research - University of Illinois at Urbana-Champaign 1
Undergraduate Student Publications and Research - General 1

Collection

Undergraduate Student Publications and Research - General 1

Author(s)

Blanchard, Eion 1
Harman, Scott 1
Hieronymi, Philipp 1
Karve, Vaibhav 1
Ravi, Nikil 1
Schargorodsky, Joel 1
Thompson, Kyle 1
Wulffraat, Noble 1
Xu, Tianfan 1
Zhao, Fenglong 1

Keyword(s)

automated theorem proving 1
mathematics 1
model theory 1

Type of Resource

text 1

↑ ↓

Showing 1–1 of 1 item

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

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 2 + 4?

© 2023 University of Illinois Board of Trustees

Log In

I don't have an Illinois NetID

Use this login method if you don't have an @illinois.edu email address. (Oops, I do have one)

IDEALS migrated to a new platform on June 23, 2022. If you created your account prior to this date, you will have to reset your password using the forgot-password link below.

Email

Password

(I forgot my password)