Skip to main content
Scour
Discover
Docs
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Back to article
rocq-prover.org
78w
78 weeks ago
The Rocq Prover
(opens in new tab)
Covered by
6 sources
See all sources covering this story
including
Jane Street Tech Blog
,
GitHub
Discussed on
Hacker News
Love
Like
Not for me
Save
|
|
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Covered in 8 articles
Jane Street Tech Blog
·
1w
1 week ago
Formal Methods and the Future of Programming
Discussed on
Hacker News
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Formal Methods and the Future of Programming
Jane Street Tech Blog
·
3w
3 weeks ago
Formal methods and the future of programming
Discussed on
Hacker News
,
Hacker News
, and
Lobsters
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Formal methods and the future of programming
GitHub
·
1d
1 day ago
vehicle-lang/vehicle
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for vehicle-lang/vehicle
GitHub
·
2w
2 weeks ago
cryspen/hax: A Rust verification tool
Discussed on
Lobsters
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for cryspen/hax: A Rust verification tool
IEEE Spectrum
·
2d
2 days ago
What it Means to Be a Mathematician When AI Does the Math
Discussed on
Hacker News
,
Lobsters
, and
r/TrueReddit
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for What it Means to Be a Mathematician When AI Does the Math
Håkon's Diary
·
2w
2 weeks ago
2026-06-10, Wednesday
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for 2026-06-10, Wednesday
KC Sivaramakrishnan
·
2w
2 weeks ago
An O(x)Caml book that runs · KC Sivaramakrishnan
Discussed on
Hacker News
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for An O(x)Caml book that runs · KC Sivaramakrishnan
In other languages
GeekNews
·
1w
1 week ago
형식 기법과 프로그래밍의 미래
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for 형식 기법과 프로그래밍의 미래
Keyboard Shortcuts
Navigation
Next / previous post
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Discover
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help
Like
Save
Not for me
Report