Skip to content

Releases: hyperpolymath/echidna

v2.3.0

02 Jun 09:41
@hyperpolymath hyperpolymath
Immutable release. Only release title and notes can be modified.
v2.3.0
This tag was signed with the committer’s verified signature.
hyperpolymath Jonathan D.A. Jewell
GPG key ID: D119017EBF695AB1
Verified
Learn about vigilant mode.
68ef34a
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
v2.3.0 Latest
Latest 
v2.3.0 — Cargo.toml/CHANGELOG reconciliation per #173
Assets 3
Loading

v0.1.0 - Initial Release

29 Dec 10:58
@hyperpolymath hyperpolymath
Immutable release. Only release title and notes can be modified.
v0.1.0
8a8d721

Choose a tag to compare

View all tags
v0.1.0 - Initial Release

🎉 Initial Release

ECHIDNA - The Multi-Backend Theorem Prover Interface

Features

  • Unified interface for 12+ theorem prover backends (Agda, Coq, Lean, Isabelle, Z3, CVC5, Metamath, HOL Light, Mizar, PVS, ACL2, HOL4)
  • Agentic proof automation with intelligent prover routing
  • Cross-prover proof translation capabilities
  • Neural-guided tactic suggestion (experimental)

Build Status

✅ Main library builds successfully
⚠️ Some agentic integration tests are skipped pending API updates

🤖 Generated with Claude Code

Loading