Mathematical Structures
Formalizing abstract structures by classes and objects
阅读
READ
Xie Yuheng
xieyuheng/mathematical-structures
2021-10-20