diff options
| author | Théo Zimmermann | 2018-08-01 16:00:12 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-08-31 17:11:02 +0200 |
| commit | 8bcdcb34fa08acaef48be685232b7402495e7ac7 (patch) | |
| tree | 401ca406dc22915bbde1d7b63670481b9c1a410f /.github | |
| parent | 791f9521577ebb28b5aea71e1186ffff4fba1fe1 (diff) | |
Move paragraph on Coq-related subjects up.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions