Skip to content

Ported the plugin to Coq 8.13#99

Open
agrarpan wants to merge 67 commits intouwplse:masterfrom
agrarpan:coq-8.13
Open

Ported the plugin to Coq 8.13#99
agrarpan wants to merge 67 commits intouwplse:masterfrom
agrarpan:coq-8.13

Commits

Commits on Sep 19, 2023

Commits on Sep 20, 2023

Commits on Sep 25, 2023

Commits on Oct 4, 2023

Commits on Oct 5, 2023

Commits on Oct 9, 2023

Commits on Oct 23, 2023

Commits on Oct 25, 2023

Commits on Oct 26, 2023

Commits on Nov 17, 2023

Commits on Dec 1, 2023

Commits on Dec 4, 2023

Commits on Jan 2, 2024

Commits on Jan 8, 2024

Commits on Jan 9, 2024

Commits on Jan 10, 2024

Commits on Jan 17, 2024

Commits on Jan 23, 2024

Commits on Jan 25, 2024

Commits on Feb 8, 2024

Commits on Feb 14, 2024

Commits on Feb 22, 2024

Commits on Mar 5, 2024

Commits on Mar 27, 2024

Commits on Apr 3, 2024

Commits on Apr 4, 2024

Commits on Apr 5, 2024

Commits on Apr 9, 2024

Commits on Apr 11, 2024

Commits on Apr 15, 2024

Commits on Apr 17, 2024

Commits on Apr 23, 2024

Commits on Apr 30, 2024

Commits on May 1, 2024

Commits on May 29, 2024

Commits on Jul 4, 2024