output
20022026
most citedThe Lean mathematical library

151 citations

Showing 2003Show all

3 papers · 1 filter