User contributions for 2601:447:CD80:E200:39E5:BBE7:6065:9B33
Jump to navigation
Jump to search
24 June 2024
- 15:1615:16, 24 June 2024 diff hist +3,174 N Container (type theory) The phrase "type theory" obviously does not tell the lay reader that this has something to do with mathematical logic. current