Chipmonk comments on Logical Share Splitting

[Chipmonk]

Related: https://​​lean-fro.org/​​about/​​ (automated theorem proving FRO)