Releases around MetaCoq/metacoq v2.1-beta2 on GitHub

Maybe you can find something interesting in this list

Don't miss a new release

NewReleases is sending notifications on new releases.