Snapshot 2021-08-29

danielratiu released this 29 Aug 13:44

· 732 commits to master since this release

snapshot/v2021_08_29

719c364

This release, based on MPS 2020.3.4, brings the following improvements:

Structured Arguments: we support the Claims-Argument-Evidence (CAE) language
Tutorial: extended documentation, added new examples
... together with many small fixes and clean-ups.

Assets 3