sandialabs/Prove-It

A tool for proving and organizing general theorems using Python.

语言：Jupyter Notebook · GitHub 星标：40 · Fork：14

话题：scr-2187 · snl-comp-science-libs · snl-quantum-computing

在 GitHub 上查看原仓库