Back to hecko's feed
馃寪Resoniteaxle.axiommath.ai

We're excited to announce that AXLE is switching from Lean to Rocq (opens in new tab)

Covered by聽3聽sources See all sources covering this story聽including聽latent.space, arXivDiscussed on Hacker News

Interactive tools for exploring, validating, and manipulating mathematical proofs.

Read the original article
Sign in to keep reading the full article.
Sign UpLog In

Covered in 3 articles

latent.space路

馃敩Scaling Past Informal AI - Carina Hong, Axiom Math

Discussed on Hacker News
Feeds
arXiv路

AXLE: A Cloud Infrastructure for Lean 4 Theorem Proving Utilities

Feeds
korbonits路

Who verifies the verifier? Notes on DeepMind's formal proof-search paper

Discussed on Hacker News
Feeds

Keyboard Shortcuts

Navigation

Next / previous post
j/k
Open post
oorEnter
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
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Discover
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help