Skip to content

feat!: switch to support Coq 8.20 #3149

feat!: switch to support Coq 8.20

feat!: switch to support Coq 8.20 #3149

test (windows-latest)

succeeded Nov 12, 2024 in 17m 24s