Nikil Ravi

N

Nikil Ravi

@nikil

Citizen scientists—practices, observations, and experience - Humanities and Social Sciences Communications

Michael O’Gradynature.com

Just a moment...

science.org
Thumbnail of Just a moment...

We Need a New Science of Progress

Tyler Cowentheatlantic.com
Thumbnail of We Need a New Science of Progress

OpenReview: Venues

openreview.net
Thumbnail of OpenReview: Venues

Just a moment...

dl.acm.org
Thumbnail of Just a moment...

Shakespeare's Fair Youth Sonnets

thoughtco.com
Thumbnail of Shakespeare's Fair Youth Sonnets

GitHub - wvhulle/riddle-proofs: Riddles solved in Lean4 for educational purposes

wvhullegithub.com
Thumbnail of GitHub - wvhulle/riddle-proofs: Riddles solved in Lean4 for educational purposes

An Extensible User Interface for Lean 4

drops.dagstuhl.de
Cover of An Extensible User Interface for Lean 4