@hackage / equational-reasoning-induction

Metadata

• Last updated 8 Feb 2019, by HiromiIshii
• License BSD-3-Clause
• Categories Mathematics

• Maintained by: konn.jinro_at_gmail.com

• Lottery factor: 0 New

  The number of people with uploader permission on @hackage/equational-reasoning-induction who have released something to @hackage in the last 2 years (i.e. the number of people likely able to release critical fixes in a timely manner)

Links

• Documentation
• Source repository

Installation

Tested Compilers

1. 8.6.3
2. 8.4.1
3. 8.2.2
4. 8.0.2