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
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
Greg Shuflin 6d068e7327
Some checks failed
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
Description
No description provided
Readme 37 KiB
Languages
Lean 100%