Tool mentioned on podcasts
Axle
by Axiom Math
Mentioned on 1 episode by 1 guest across our covered podcasts.
SignalCast may earn commission on purchases via these links.
Who mentioned it
“Axiom released Axle (Axiom Lean Engine), a free suite of 14 Lean meta-programming tools including VerifyProof, which runs 100x faster than the prior standard tool Comparator.”
Mentioned on: Latent Space