Skip to main content
Kim Liesinger's user avatar
Kim Liesinger's user avatar
Kim Liesinger's user avatar
Kim Liesinger
  • Member for 1 year, 11 months
  • Last seen more than 1 year ago
awarded
answered
Loading…
Loading…
awarded
awarded
revised
How to search for an existing theorem in Lean?
Update and correct the section on `library_search`.
Loading…
comment
Porting Lean 3 to Lean 4 Process (and the state of general integration in Lean 4)
@AlexByard, if you come over to leanprover.zulipchat.com and post a message, we can help you work out what "it" and "everything" are, and how to make them not broken. :-)
awarded
answered
Loading…
answered
Loading…
awarded
answered
Loading…