教育与参考
1
7
9
1
0
0
8
Mathpix Snip
Mathpix是第一个可让您通过拍照来解决数学问题的应用程序。只需拍摄一张照片即可获得准确的绘图和解决方案。
2
z3
Z3是Microsoft Research的一个定理证明者。
16
0
2
1
GtrLib - Guitar Chords
庞大而全面的吉他和弦库，其中每个和弦都建议有手指位置。包括每个和弦的逼真的音频演示，以及用于在任何琴键中查找任何和弦的搜索功能。
20
