lean4-htt/.github
2017-10-30 16:20:36 +01:00
..
CONTRIBUTING.md doc(CONTRIBUTING): add instructions to run test suite 2017-10-30 16:20:36 +01:00
ISSUE_TEMPLATE.md chore(.github/ISSUE_TEMPLATE): typo 2017-07-14 08:02:08 +01:00
PULL_REQUEST_TEMPLATE.md chore(.github/PULL_REQUEST_TEMPLATE): typo 2017-06-12 09:56:15 -07:00