search

anatoliykmetyuk / free-acp

A rewriting-based process algebra engine
7 stars 3 forks source link

Property("x * ε == x") is missing #27

Open AndreVanDelft opened 7 years ago

AndreVanDelft commented 7 years ago

IMO this needs a separate check.