exozyme/ring3
14
0
Fork 0
Code Issues Pull requests Activity
Yet another webring generator, this time in Lean! Generates a static webring using the _redirects file.
10 commits 1 branch 0 tags 56 KiB
Find a file
Anthony Wang f085627418
 Bump Lean version to 4.26.0
2025-12-15 19:05:29 -06:00
.dockerignore Fix Dockerfile 2025-12-02 11:25:23 -05:00
.gitignore Initial commit 2025-11-30 16:35:14 -05:00
action.yml Copy Dockerfile and action.yml from ring-gen repo 2025-11-30 16:39:06 -05:00
Dockerfile Don't need this build step 2025-12-02 11:37:49 -05:00
index.html.example Update link in index.html.example 2025-11-30 16:55:22 -05:00
lake-manifest.json Initial commit 2025-11-30 16:35:14 -05:00
lakefile.toml Initial commit 2025-11-30 16:35:14 -05:00
lean-toolchain Bump Lean version to 4.26.0 2025-12-15 19:05:29 -06:00
LICENSE Initial commit 2025-11-30 16:35:14 -05:00
Main.lean Slightly simplify code, add random.html.example 2025-12-03 22:07:26 -05:00
members.txt.sample Initial commit 2025-11-30 16:35:14 -05:00
random.html.example Slightly simplify code, add random.html.example 2025-12-03 22:07:26 -05:00
README.md Add README with link to ring-gen 2025-11-30 17:26:30 -05:00

README.md

ring3

This is a port of ring-gen from Go to Lean.