File | Mode | Size |
---|---|---|
.devcontainer | ||
.docker | ||
.github | ||
.vscode | ||
archive | ||
counterexamples | ||
docs | ||
roadmap | ||
scripts | ||
src | ||
test | ||
.gitignore | -rw-r--r-- | 106 bytes |
.gitpod.yml | -rw-r--r-- | 213 bytes |
CODE_OF_CONDUCT.md | -rw-r--r-- | 5.2 KB |
LICENSE | -rw-r--r-- | 11.1 KB |
README.md | -rw-r--r-- | 6.0 KB |
bors.toml | -rw-r--r-- | 484 bytes |
leanpkg.toml | -rw-r--r-- | 122 bytes |