Sign in
Create account
Share this profile
rushi
formal verification enthusiast by day, block-stm engineer by night
Copy link
Facebook
Email
Note
Other
rushi
@rushimanche
formal verification enthusiast by day, block-stm engineer by night
See subscribers
Subscribe
rushi’s Substack
By rushi
My personal Substack
Posts
Notes
Likes
Reads (1)
Get app
Dive into your interests
We'll recommend top publications based on the topics you select.
Continue
This site requires JavaScript to run correctly. Please
turn on JavaScript
or unblock scripts