greg/lean-cs-proofs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
4 Commits 1 Branch 0 Tags
master
T
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
Greg Shuflin 6d068e7327
Lean Action CI / build (push) Has been cancelled
Details
Equivalence to List.map
2026-02-03 03:07:40 -08:00
.github/workflows
Initial cslib
2026-02-02 19:38:34 -08:00
CsProofs
Initial cslib
2026-02-02 19:38:34 -08:00
.gitignore
Initial cslib
2026-02-02 19:38:34 -08:00
CsProofs.lean
Equivalence to List.map
2026-02-03 03:07:40 -08:00
lake-manifest.json
Initial cslib
2026-02-02 19:38:34 -08:00
lakefile.toml
Initial cslib
2026-02-02 19:38:34 -08:00
lean-toolchain
Initial cslib
2026-02-02 19:38:34 -08:00
Main.lean
Proof that map is linear
2026-02-03 02:11:59 -08:00
README.md
README, comments
2026-02-03 02:17:58 -08:00

README.md

Computer Science Lean Proofs

This repo is me using cslib to prove random, hopefully-useful properties of code.

Reference in New Issue View Git Blame Copy Permalink
S
Description
No description provided
Readme 37 KiB
Languages
Lean 100%