Skip to content

AUTHORS.md

Latest commit

 

History

History
106 lines (67 loc) · 2.93 KB

AUTHORS.md

File metadata and controls

106 lines (67 loc) · 2.93 KB

Authors and Contributors

This file lists the authors and contributors to the ECHIDNA project. We are grateful to everyone who has contributed to making ECHIDNA a reality.

Project Maintainers

The following individuals are the core maintainers of ECHIDNA:

  • ECHIDNA Project Team - Project coordination and oversight

Core Contributors

Contributors who have made significant contributions to the codebase:

Code Contributors

All contributors to the ECHIDNA codebase (in alphabetical order):

Documentation Contributors

Contributors who have improved documentation:

Special Thanks

We would like to extend special thanks to:

  • Theorem Proving Community - For foundations and inspiration
  • Theorem Prover Communities - For developing and maintaining the 12 provers we integrate
  • Rhodium Standard Repository (RSR/CCCP) - For compliance guidelines
  • Palimpsest License - For ethical licensing framework

How to Be Added

If you've contributed to ECHIDNA and your name isn't listed here, please:

  1. Open an issue or merge request on GitLab
  2. Provide a brief description of your contribution
  3. Indicate how you'd like to be credited

We recognize all forms of contribution, including but not limited to:

  • Code contributions
  • Documentation improvements
  • Bug reports and testing
  • Feature suggestions
  • Community support
  • Translations
  • Design and artwork
  • Infrastructure and tooling

Contribution Statistics

By Component

  • Rust Core: TBD contributors
  • Julia ML: TBD contributors
  • ReScript UI: TBD contributors
  • Documentation: TBD contributors
  • Tests: TBD contributors
  • Infrastructure: TBD contributors

By Prover Backend

  • Tier 1 (Agda, Coq, Lean, Isabelle, Z3, CVC5): TBD contributors
  • Tier 2 (Metamath, HOL Light, Mizar): TBD contributors
  • Tier 3 (PVS, ACL2): TBD contributors
  • Tier 4 (HOL4): TBD contributors

Institutional Support

Organizations and institutions that have supported ECHIDNA development:

License

All contributions to ECHIDNA are licensed under the dual license:

  • MIT License
  • Palimpsest License v0.6

By contributing to ECHIDNA, you agree to license your contributions under these terms.

Contact

For questions about attribution or contributions:

Last Updated: 2025-11-22

This file is maintained by the ECHIDNA Project Team. If you notice any errors or omissions, please let us know.