2 Star 1 Fork 1

麻丫丫 / Matrix

Create your Gitee Account
Explore and code with more than 5 million developers,Free private repositories !:)
Sign up
Clone or download
Cancel
Notice: Creating folder will generate an empty file .keep, because not support in Git
Loading...
README.md

Matrix

介绍

矩阵以及分块矩阵形式化工作

使用说明

  1. 将文件夹放置于Coq安装路径下的用户库中
  2. 对目录下文件进行编译
  3. 使用调用命令进行调用

Comments ( 0 )

Sign in for post a comment

About

矩阵形式化工作 spread retract
Coq
MulanPSL-2.0
Cancel

Releases

No release

Contributors

All

Activities

load more
can not load any more
Coq
1
https://git.oschina.net/yingyingma/Matrix.git
git@git.oschina.net:yingyingma/Matrix.git
yingyingma
Matrix
Matrix
master

Search