Longhao.Chen

feat:add modes to conv function (#399)

10

The realization of #399

Just like the MATLAB conv function. 'full' — Return the full 2-D convolution. 'same' — Return the central part of the convolution, which is the same size as A. 'valid'...

密码中含有 . 时会出现错误

1

当密码中含有 . 访问时会出现错误，错误代码为(此处密码为0.0.)： ``` GET: /api/jglbczb7,0.0. {"message":"Request failed with status code 404","name":"Error","fileName":"https://shadow.elemecdn.com/npm/[email protected]/dist/axios.min.js","lineNumber":8,"columnNumber":6410,"stack":"e.exports@https://shadow.elemecdn.com/npm/[email protected]/dist/axios.min.js:8:6410\ne.exports@https://shadow.elemecdn.com/npm/[email protected]/dist/axios.min.js:8:6257\ne.exports/

Cannot build .olean file on NFS

6

### Prerequisites * [X] Put an X between the brackets on this line if you have done all of the following: * Checked that your issue isn't already [filed](https://github.com/leanprover-community/lean/issues). *...

Whether it can be used to migrate from SQLite to PostgreSQL.

3

Whether it can be used to migrate from SQLite to PostgreSQL.