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 |
Computing file changes ...
