GitHub/digama0.leangz
1
0
Fork 0
mirror of https://github.com/digama0/leangz.git synced 2026-03-07 01:54:57 +00:00
Code Issues Projects Releases Packages Wiki Activity
Lean 4 .olean file (de)compressor
89 commits 5 branches 23 tags 523 KiB
Find a file
Exact
Mario Carneiro 6d1691e0a4 feat: write files atomically
2026-03-06 18:47:18 +01:00
.github/workflows feat: allow pre-releases 2025-06-27 17:43:25 +02:00
dict explicit versioning for dict file 2023-07-03 20:25:02 -04:00
src feat: write files atomically 2026-03-06 18:47:18 +01:00
tests feat: add (failing) test for module system bug (#4) 2025-10-22 17:19:08 -07:00
.gitignore initial commit 2023-06-23 09:04:37 -04:00
Cargo.lock feat: write files atomically 2026-03-06 18:47:18 +01:00
Cargo.toml feat: write files atomically 2026-03-06 18:47:18 +01:00
LICENSE Create LICENSE 2024-01-16 03:44:47 -08:00
mk-release.sh v0.1.11 2024-01-28 02:21:15 -05:00
rustfmt.toml add CI 2023-07-04 04:13:24 -04:00