Mode | Name | Size | |
---|---|---|---|
d--------- | bedrock | 39 | log plain |
d--------- | containers | 39 | log plain |
d--------- | coq-ext-lib | 39 | log plain |
d--------- | domains | 80 | log plain |
d--------- | flocq | 39 | log plain |
d--------- | heq | 39 | log plain |
d--------- | mathcomp | 39 | log plain |
d--------- | paco | 39 | log plain |
d--------- | ssreflect | 39 | log plain |
d--------- | tlc | 39 | log plain |
d--------- | unimath | 39 | log plain |
d--------- | ynot | 39 | log plain |