output
20022026
most citedThe Lean mathematical library

151 citations

Showing astro-ph.GAShow all

2 papers · 1 filter