A Guided Journey Into the World of Abstract Mathematics and the Writing of Proofs
维护者通常 1 天内回复
还没有人认领这个 Issue。
评估
调研方向
Start by reading the linked book and companion issues #718 and #746; the current issue names no source file, entry point, or test. Before implementation, choose a bounded mathematical concept from that material and define the corresponding behavior and tests as the done criteria.
由索引模型根据 Issue 内容生成。
描述
https://www.math.cmu.edu/~jmackey/151_128/bws_book.pdf
This freely accessible book contains the necessary notation, concepts, logic, operations, test cases, use cases... for a "math OS". The goal here is to encode as much as possible into AngouriMath such that it has the necessary basics to be a "math OS".
Companion to #718 and #746.
- 主要语言
- C#
- 星标
- 831
- 派生
- 79
- 平均合并
- 2 小时 17 分钟
- 30 天内合并 PR
- 443
环境准备
- 没有 Dockerfile 或 Docker Compose 文件
- 没有 Pull Request 模板
- 阅读贡献指南
从这里开始
- 先读完整个 Issue,再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库,在一个分支上完成修改。
- 提交 Pull Request,并在描述里引用这个 Issue 编号。
ASC-Community/AngouriMath 的其他 Issue
-
难度 5/5 一周以上 新手友好度 12/100
ASC-Community/AngouriMath#1885 ·
维护者通常 1 天内回复
-
难度 4/5 3-5 天 新手友好度 35/100
ASC-Community/AngouriMath#1883 ·
维护者通常 1 天内回复
-
难度 5/5 一周以上 新手友好度 30/100
ASC-Community/AngouriMath#1807 · 1 条评论 ·
维护者通常 1 天内回复
-
难度 5/5 一周以上 新手友好度 25/100
ASC-Community/AngouriMath#1692 ·
维护者通常 1 天内回复
-
难度 5/5 一周以上 新手友好度 30/100
ASC-Community/AngouriMath#1690 ·
维护者通常 1 天内回复
查看 ASC-Community/AngouriMath 的全部 Issue
相似的 Issue
-
enhancement needs triage
难度 2/5 1-3 小时 新手友好度 70/100
elastic/docs-builder#4495 ·
维护者通常 1 天内回复
-
难度 1/5 1 小时以内 新手友好度 88/100
microsoft/vscode-docs#10499 ·
维护者通常 1 天内回复
-
难度 2/5 1-3 小时 新手友好度 72/100
维护者通常 1 天内回复
-
难度 2/5 1-3 小时 新手友好度 78/100
-
🌶️ hot chocolate
难度 2/5 1-3 小时 新手友好度 75/100
ChilliCream/graphql-platform#10567 ·
维护者通常 1 天内回复