powdr team joins Axiom Math
powdr announced the move, with a team member outlining plans to keep using AI to advance formal verification.
TLDR
powdr says its team has joined Axiom Math. A team member described AI and formal verification as highly complementary and predicted that combining them would allow the team to ship secure code with minimal human effort.
Combined views
—
2 Sources, first seen ago
