Rodney
Rodney
Right 🤦 I did see that Paper has backward compatible versions of the constructor and a method to query the components in string form. The reason I implemented it the...
My apologies for the delay. I rebased the branch and addressed all aforementioned issues. Thanks for the feedback :)
Oh! I just started work on a PR, but seems like someone was ahead of me in https://github.com/leanprover-community/NNG4/pull/64. Gonna close this issue then, since it's solved. Thanks again :D