# Alloy 6

**URL:** https://alloytools.discourse.group/c/alloy-6/7.md?page=1

[Latest](https://alloytools.discourse.group/latest.md) · [Categories](https://alloytools.discourse.group/categories.md)

**Page:** 2

---

## [New Electrum Release Candidate (towards Alloy 6)](https://alloytools.discourse.group/t/new-electrum-release-candidate-towards-alloy-6/87)

<div class="topic-metadata">

**Author:** [@grayswandyr](https://alloytools.discourse.group/u/grayswandyr)\
**Replies:** 1\
**Last updated:** [September 11, 2020, 2:43pm UTC](https://alloytools.discourse.group/t/new-electrum-release-candidate-towards-alloy-6/87 "2020-09-11T14:43:58Z")

</div>

Dear All, on July 21, the Electrum team presented a draft specification of Electrum to the Alloy Board. Considering the specification as well as the already-existing Electrum Analyzer, the consensus was to ultimately me…

[Previous page](https://alloytools.discourse.group/c/alloy-6/7.md)