Mathesis
Posts
Topics
Collection
Submit
About
Sign in
Submit
Title
Declaration kind
result
definition
claim
Declarations
Environment
Lean core
Source
Description
Proves
Submit