Nikil Ravi

N

Nikil Ravi

@nikil

All cardsCollections

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

wvhulle github.com

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

Shakespeare's Fair Youth Sonnets

Thumbnail of Shakespeare's Fair Youth Sonnets

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

Michael O’Grady nature.com

There’s no such thing as auto-formalization

OpenReview: Venues

Thumbnail of OpenReview: Venues

GitHub - leanprover-community/ProofWidgets4: Helper toolkit for creating your own Lean 4 UserWidgets

Cover of GitHub - leanprover-community/ProofWidgets4: Helper toolkit for creating your own Lean 4 UserWidgets

Just a moment...

Thumbnail of Just a moment...

On Blackboards

people.math.harvard.edu

We Need a New Science of Progress

Patrick Collison theatlantic.com