Athanor AI
1 known investors
Athanor builds Kairos, a verification engine for hardware and software that uses formal tools to prove or refute equivalence for RTL optimizations, carrying machine-checked proof and measured area reductions. It also maintains Pythia, an open-source Lean 4 tactic library for theorem proving, serving engineering teams that require formally verified computational claims.
Deep TechDeveloper ToolsSemiconductors
Investors · 1
Frequently asked questions
- What does Athanor AI do?
- Athanor builds Kairos, a verification engine for hardware and software that uses formal tools to prove or refute equivalence for RTL optimizations, carrying machine-checked proof and measured area reductions. It also maintains Pythia, an open-source Lean 4 tactic library for theorem proving, serving engineering teams that require formally verified computational claims.
- Who are Athanor AI's investors?
- Athanor AI's investors include Ascend Venture Capital.