OpenAlex
The Lean 4 Theorem Prover and Programming Language
Work
Year: 2021
Type: book-chapter
Source: Lecture notes in computer science
Authors Leonardo de Moura, Sebastian Ullrich
Institutions Microsoft (United States), Karlsruhe Institute of Technology
Cites: 17
Cited by: 80
Related to: 10
FWCI: 24.59
Citation percentile (by year/subfield): 99.99
Topic: Logic, programming, and type systems
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Peace, justice, and strong institutions
Open Access status: closed