Ported plugin to Coq 8.13#43
Open
agrarpan wants to merge 44 commits into
Open
Commits
Commits on Jul 20, 2023
Commits on Jul 21, 2023
Commits on Jul 24, 2023
Commits on Jul 25, 2023
Commits on Jul 27, 2023
Commits on Jul 28, 2023
- committed
Commits on Jul 31, 2023
Commits on Aug 4, 2023
Commits on Aug 7, 2023
- committed
- committed
- committed
- committed
- committed
Commits on Aug 8, 2023
- authored andcommitted
- committed
Commits on Aug 16, 2023
Commits on Aug 18, 2023
- committed
- committed
Commits on Aug 30, 2023
Commits on Oct 4, 2023
Commits on Oct 23, 2023
Commits on Oct 25, 2023
Commits on Oct 26, 2023
Commits on Dec 4, 2023
Commits on Mar 27, 2024
Commits on Apr 3, 2024
Commits on Apr 11, 2024
- committed
Commits on Apr 15, 2024
Commits on Jul 17, 2024
- authored