theorem.dev — HRO

Alpha This system is experimental. Scores and classifications are early-stage research and may be unreliable. Methodology →

1 stories

theorem.dev visit →

1.	HRCB -0.40 E 0.00 S -1.00	Lf-lean: The frontier of verified software engineering (theorem.dev)
		47 points by alpaylan 5 days ago \| 9 comments \| hrcb software engineering

build ee2b489+gzrb · deployed 2026-03-10 22:52 UTC · evaluated 2026-03-16 02:03:38 UTC