https://github.com/leanprover-community/flt-regular
Tip revision: 9b939fa7d985da6d84450e9013e5e811b2bd172f authored by Eric Rodriguez on 23 May 2023, 17:26:50 UTC
bump
bump
Tip revision: 9b939fa
File | Mode | Size |
---|---|---|
.github | ||
.vscode | ||
doc | ||
scripts | ||
src | ||
.gitignore | -rw-r--r-- | 316 bytes |
.gitpod.yml | -rw-r--r-- | 183 bytes |
README.md | -rw-r--r-- | 4.5 KB |
leanpkg.toml | -rw-r--r-- | 244 bytes |
tasks.py | -rw-r--r-- | 1.7 KB |