# Matrix

**Repository Path**: yingyingma/Matrix

## Basic Information

- **Project Name**: Matrix
- **Description**: 矩阵形式化工作
- **Primary Language**: Coq
- **License**: MulanPSL-2.0
- **Default Branch**: master
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 5
- **Forks**: 0
- **Created**: 2020-07-07
- **Last Updated**: 2023-09-18

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

------2021-5-11-update for 8.13--------
Fixed some bugs during compilation.

# Matrix

#### 介绍
矩阵以及分块矩阵形式化工作

#### 使用说明

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