diff options
| author | Cyril Cohen | 2019-10-31 09:41:52 +0100 |
|---|---|---|
| committer | Cyril Cohen | 2019-12-11 14:26:52 +0100 |
| commit | 696cd421b27ff2bee821c053c3c3d5926e9d68d3 (patch) | |
| tree | 12cd0cab10bbe8447decc8d6c37aca9c875dec3a /mathcomp/_CoqProject | |
| parent | 1a3b42a0cd96ff448f8dc686711d8b2b5d3b0a6c (diff) | |
Doc, comments, changelog and better proofs
- adding a doc paragraph on displays
- Changelog
- better proofs for new logn, gcdn, lcmn, partn facts
- Putting comments in the example of nat
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions