v0.3.0

Chi can now check if two signatures are isomorphic:

What's Changed

• Checks if two objects are isomorphic with each oher by @melvic-ybanez in #69
• Fix proof construction from function-to-product by @melvic-ybanez in #70
• Add support for comments in the UI by @melvic-ybanez in #67
• Fix function to conjunction normalization by @melvic-ybanez in #71
• Fix named-params support for isomorphism by @melvic-ybanez in #72
• Multi line inputs by @melvic-ybanez in #74
• Fix associativity of disjunctions as when consequents by @melvic-ybanez in #73

Full Changelog: v0.2.0...v0.3.0