We're excited to announce that AXLE is switching from Lean to Rocq
axle.axiommath.ai
We're excited to announce that AXLE is switching from Lean to Rocq
1–2 of 2 posts
Re: We're excited to announce that AXLE is switching from Lean to Rocq
#2> After mass feedback from the public, we're excited to announce that AXLE is switching from Lean to Rocq. The new name will be AXRE (Axiom Rocq Engine). All existing Lean proofs will be automatically translated using GPT-2.
Just saw that, and was thinking, wtf, really? Well... :-)