clafer v0.5.0 Release Notes

Release Date: 2018-02-01 // about 6 years ago
  • 🚀 This major release adds behavioral modeling capability to Clafer.


Previous changes from v0.4.5