Revision 65a1391a0106c9204fe45bc73a039f056558cb83 authored by Yaël Dillies on 30 October 2023, 15:07:49 UTC, committed by Yaël Dillies on 30 October 2023, 15:07:49 UTC
Left commutativity and cardinality of `list.filter`/`multiset.filter`/`finset.filter`. Interaction of `count`/`countp` and `attach`.
1 parent 3365b20
File | Mode | Size |
---|---|---|
.devcontainer | ||
.docker | ||
.github | ||
.vscode | ||
archive | ||
counterexamples | ||
docs | ||
roadmap | ||
scripts | ||
src | ||
test | ||
.gitignore | -rw-r--r-- | 122 bytes |
.gitpod.yml | -rw-r--r-- | 213 bytes |
CITATION.md | -rw-r--r-- | 1.9 KB |
CODE_OF_CONDUCT.md | -rw-r--r-- | 5.2 KB |
LICENSE | -rw-r--r-- | 11.1 KB |
OLD_README.md | -rw-r--r-- | 6.4 KB |
README.md | -rw-r--r-- | 288 bytes |
bors.toml | -rw-r--r-- | 515 bytes |
leanpkg.toml | -rw-r--r-- | 122 bytes |
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...