clafer v0.5.0 Release Notes

Release Date: 2018-02-01 // over 3 years ago
  • ๐Ÿš€ This major release adds behavioral modeling capability to Clafer.


Previous changes from v0.4.5