Skip to content

Adding support for untyped conversion-checking#64

Merged
ppedrot merged 43 commits intocoq-8.20from
untyped-algo
Jan 28, 2025
Merged

Adding support for untyped conversion-checking#64
ppedrot merged 43 commits intocoq-8.20from
untyped-algo

Commits

Commits on Jan 21, 2025

Commits on Jan 27, 2025

Commits on Jan 28, 2025