diff options
author | Matthieu Coudron <mattator@gmail.com> | 2019-07-30 14:00:17 +0900 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-07-30 14:00:17 +0900 |
commit | 29d912eb825cad890442667b2e8ce77c78bb6ed3 (patch) | |
tree | 54a8904ac2c96c6b815c0f0d0bd78c1a61019e3e /.github/PULL_REQUEST_TEMPLATE.md | |
parent | 48fefb7c491d5fcd2008f5689d95770c1041abd5 (diff) | |
parent | da5c9d54cdb093082fbea7a245d2654e63f7924a (diff) |
Merge pull request #65558 from matthias-t/lean
Vim plugins for the lean theorem prover
Diffstat (limited to '.github/PULL_REQUEST_TEMPLATE.md')
0 files changed, 0 insertions, 0 deletions