News

• Jan 19, 2022

  Equations 1.3 is released!

• Jun 21, 2021

  Equations 1.3beta2 is released!

• May 5, 2021

  Equations 1.3beta is released!

• Mar 17, 2021

  Equations 1.2.4 is released!

• Jun 19, 2020

  Equations 1.2.2 is released!

• Mar 1, 2020

  Equations 1.2.1 for Coq 8.11 is released!

• May 17, 2019

  Equations 1.2.1 is released!

• May 17, 2019

  Equations 1.2 is released!

• Mar 19, 2019

  Equations 1.2beta2 is released!

• Jan 28, 2019

  Equations 1.2beta is released!

• Dec 17, 2017

  Equations 1.0 is released!

• Nov 21, 2017

  Equations 1.0-beta2 released!

• Oct 11, 2017

  Equations 1.0-beta released!

subscribe via RSS