Huawei III

Proposal Document:
https://docs.google.com/document/d/1JqMnC80zMYklkHxlbr8zL3ecjoRf4v6xmspcmqPqAUw/edit?usp=sharing

We are currently in the proposal phase (see document above).

There will be a "pre-project" until/around the end of the year for literature research and writing a more detailed proposal.

The main project will start some time in 2021.

Eqy

We are building an equivalence checker.

See this document for a project outline and roadmap.