◍wovepaper
SearchResearchersInstitutions
Sign in
institution

N&N Pharmaceuticals (United States)

United States

4 papers here169 citations across 4
fields
  • cs.PL2
  • cs.LO1
  • hep-ex1
ROR 02m2ek616OpenAlex

affiliations via OpenAlex

output
20162026
most citedThe Lean mathematical library

151 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

  • Joel Jakubovic1 · h 2
  • Johannes Emerich1 · h 2
  • Jonathan Edwards1 · h 9
  • The mathlib Community1
  • T. Petříček1 · h 18
collaborating institutions
  • Anna Needs Neuroblastoma AnswersUS4 papers
  • American Australian AssociationUS1 paper
  • Argonne National LaboratoryUS1 paper
  • Asia e UniversityMY1 paper
  • B2 (Slovenia)SI1 paper
  • B & BSI1 paper
  • Boston UniversityUS1 paper
  • British Society for Cell BiologyGB1 paper
  • Brookhaven National LaboratoryUS1 paper
  • Center for Collaborative EducationUS1 paper
  • Charles UniversityCZ1 paper
  • Cornell UniversityUS1 paper
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2019★ 151 cited

The Lean mathematical library

The mathlib Community

This paper describes mathlib, a community-driven effort to build a unified library of mathematics formalized in the Lean proof assistant. Among proof assistant libraries, it is dis…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.