Skip to content

Activity

Showing most recent first

Test.

arthuraacreated fix-mathcomp-analysis-conflict • 56c5079 • 
on Dec 12, 2024

Release new version.

arthuraapushed 1 commit to master • c30a510…067e181 • 
on Dec 9, 2024

Deleted branch

arthuraadeleted coq-8.20 • 
on Dec 9, 2024

Merge pull request #35 from arthuraa/coq-8.20

Pull request merge
arthuraapushed 3 commits to master • a82aaaf…c30a510 • 
on Dec 9, 2024

Add new versions to CI.

Force push
arthuraaforce pushed to coq-8.20 • 951e616…6006218 • 
on Dec 9, 2024

Add new versions to CI.

Force push
arthuraaforce pushed to coq-8.20 • aa42c0a…951e616 • 
on Dec 9, 2024

Add new versions to CI.

arthuraacreated coq-8.20 • aa42c0a • 
on Dec 9, 2024

Deleted branch

arthuraadeleted move-fdisjoint_trans • 
on Oct 11, 2023

Merge pull request #32 from arthuraa/move-fdisjoint_trans

Pull request merge
arthuraapushed 2 commits to master • 1a8709b…a82aaaf • 
on Oct 11, 2023

Fix fdisjoint_trans position.

arthuraacreated move-fdisjoint_trans • 07d7660 • 
on Oct 11, 2023

Deleted branch

arthuraadeleted restore-fdisjoint_trans • 
on Oct 11, 2023

Merge pull request #31 from arthuraa/restore-fdisjoint_trans

Pull request merge
arthuraapushed 2 commits to master • 2f1f624…1a8709b • 
on Oct 11, 2023

Move notation so that it is visible.

arthuraacreated restore-fdisjoint_trans • cbbbe74 • 
on Oct 11, 2023

Deleted branch

arthuraadeleted deprecate-fdisjoint_trans • 
on Oct 11, 2023

Merge pull request #30 from arthuraa/deprecate-fdisjoint_trans

Pull request merge
arthuraapushed 2 commits to master • f84c6dc…2f1f624 • 
on Oct 11, 2023

Add fdisjointSl and fdisjointSr.

arthuraacreated deprecate-fdisjoint_trans • 8b7a98a • 
on Oct 11, 2023

Deleted branch

arthuraadeleted v0.2 • 
on Oct 9, 2023

Deleted branch

arthuraadeleted coq-8.10 • 
on Oct 9, 2023

Deleted branch

arthuraadeleted update-to-8.17 • 
on Oct 9, 2023

Deleted branch

arthuraadeleted mathcomp-2.0.0 • 
on Oct 9, 2023

Deleted branch

arthuraadeleted set-map-lemma • 
on Oct 9, 2023

Deleted branch

arthuraadeleted mkfmap-types • 
on Oct 9, 2023

Deleted branch

arthuraadeleted fmap-addition • 
on Oct 9, 2023

Merge pull request #29 from arthuraa/fmap-addition

Pull request merge
arthuraapushed 2 commits to master • 7776da7…f84c6dc • 
on Oct 9, 2023

Add new getmP and eq_in_fmap; rename old getmP to in_fmapP.

arthuraacreated fmap-addition • d78131f • 
on Oct 9, 2023

Merge pull request #27 from arthuraa/mkfmap-types

Pull request merge
arthuraapushed 2 commits to master • 1124cea…7776da7 • 
on Sep 28, 2023

Change types of mkfmapf and mkfmapfp.

arthuraapushed 1 commit to mkfmap-types • 1124cea…6c8eaf9 • 
on Sep 28, 2023

Merge pull request #26 from arthuraa/set-map-lemma

arthuraacreated mkfmap-types • 1124cea • 
on Sep 28, 2023

Merge pull request #26 from arthuraa/set-map-lemma

Pull request merge
arthuraapushed 3 commits to master • 7b5e174…1124cea • 
on Sep 25, 2023

Add fperm1V.

arthuraapushed 1 commit to set-map-lemma • 3941c89…bb33589 • 
on Sep 25, 2023