Welcome to the echidna wiki!

• echidna strategy

User manual

• Overview
• Section 1: Installation guide
• Section 2: Getting started
• Troubleshooting

Coding manual

• Reviewing pull requests

Minutes of echidna meetings!

• 2015-04-15
• 2015-02-05
• 2014-12-19