coq-mathcomp, branch master Library of mathematical components formalized in Coq Merge pull request #735 from math-comp/nix 2021-04-01T13:34:04+00:00 Cyril Cohen 2021-04-01T13:34:04+00:00 f4fb83f19cbe9503f7cfe03ba8217311744e33ac Nix 
Nix
 update to last coq-nix-toolbox 2021-04-01T10:10:57+00:00 Cyril Cohen 2021-03-31T13:35:34+00:00 262770d66a3bc6e3d90e2df656cf9a9130513467 






fix gotpod
2021-03-25T13:22:22+00:00

Cyril Cohen

2021-03-25T13:22:22+00:00

96d392fd70f91d2a5e71cb3d07dddb0c603280a7












Merge pull request #728 from jouvelot/patch-1
2021-03-24T00:51:35+00:00

Kazuhiko Sakaguchi

2021-03-24T00:51:35+00:00

d15198973d8f8e8458d2b2772962dd75dc33f94a

Update path.v




Update path.v






Update mathcomp/ssreflect/path.v

2021-03-23T13:16:30+00:00

jouvelot

2021-03-23T13:16:30+00:00

7fa73806c771ad682d0bdca6de01f8d51e1462d1


Sure. Thanks.

Co-authored-by: Kazuhiko Sakaguchi <pi8027@gmail.com>





Sure. Thanks.

Co-authored-by: Kazuhiko Sakaguchi <pi8027@gmail.com>






Update path.v
2021-03-23T11:55:54+00:00

jouvelot

2021-03-23T11:55:54+00:00

6d51f94b218cae4bd51ba268eff90b7c38c8f627

Typo in documentation.




Typo in documentation.






Merge pull request #707 from CohenCyril/ident_name_silence
2021-03-18T00:26:51+00:00

Cyril Cohen

2021-03-18T00:26:51+00:00

8e859e628404c50c8191f30489abf4e799f46f8d

Silencing warning deprecated-ident-entry




Silencing warning deprecated-ident-entry






Merge pull request #725 from math-comp/nix_v2
2021-03-17T17:54:38+00:00

Cyril Cohen

2021-03-17T17:54:38+00:00

d47bdf349d9b6ba8ca6f2b1fe0089ea39dd4fbe3

Update nix CI




Update nix CI






up
2021-03-17T17:25:57+00:00

Cyril Cohen

2021-03-17T02:38:59+00:00

bbec40b5aed2cd70c95ad7b11bf264b6d283885e












update vscoq to 0.3.4
2021-03-15T11:52:15+00:00

Cyril Cohen

2021-03-15T11:52:15+00:00

d577f5b1209ee1ac1d6a63c42d711bfe0fdade58