output
20022026
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.

collaborating institutions
Showing cs.LOShow all

2 papers · 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…

cs.LO2011

Logical Varieties in Normative Reasoning

Mark Burgin, Kees, de Vey Mestdagh

Although conventional logical systems based on logical calculi have been successfully used in mathematics and beyond, they have definite limitations that restrict their application…