114 followers
For context, I'm trying to figure out how to extend .@freekwiedijk 's work on Mizar soft types to include structure types https://t.co/NoekSgbJrs
For context, I'm trying to figure out how to extend .@freekwiedijk 's work on Mizar soft types to include structure types https://t.co/NoekSgbJrs