output
20022026
most citedThe Lean mathematical library

151 citations

Showing 2007Show all

2 papers · 1 filter