Skip to content
H
HRO
stories
|
signals
|
sources
|
rights
|
about
|
search
light
|
dark
Alpha
This system is experimental. Scores and classifications are early-stage research and may be unreliable.
Methodology →
home
/
domains
/
proofsandintuitions.net
proofsandintuitions.net
visit →
Stories
1
(0 evaluated)
Avg HRCB
ND
Avg SETL
ND
Avg Conf
ND
Poster Karma
19,296
avg
Submitters
1
1 stories
1.
▶
Verifying Move Borrow Checker in Lean:An Experiment in AI-Assisted PL Metatheory
(
proofsandintuitions.net
)
3 points
by
matt_d
9 days ago
|
0 comments
|
skipped
HRO runs on API credits and donations — no ads.
Support the project →
✕
About
|
By Right
|
HN Guidelines
|
HN FAQ
|
Source
|
UDHR
|
Donate
|
RSS
build ee2b489+gzrb
· deployed 2026-03-10 22:52 UTC
· evaluated 2026-03-16 02:03:38 UTC
⟳
This site works better in landscape mode — try rotating your device.
×
Support HRO
Each evaluation uses real API credits. HRO runs on donations — no ads, no paywalls. If you find it useful, please consider helping keep it running.
Donate via PayPal
♥ GitHub Sponsors
About project costs
I've already donated