Tools mentioned by Carina Hong
Software and services Carina Hong has mentioned across podcast appearances.
SignalCast may earn a small commission on purchases through these links — at no extra cost to you.
Lean
Recommended“Lean as Dual-Purpose Infrastructure: Lean functions simultaneously as a functional programming language and a formal proof checker via the Curry-Howard correspondence, which maps proofs to programs. Developers can write autograd in Lean, verify distributed systems components, or prove mathematical theorems within the same environment.”
VerifyProof
RecommendedAuthorby Axiom Math
“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.”
Axle
RecommendedAuthorby Axiom Math
“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.”