TwoFX/TCR
1
1
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
Just-for-fun library for verified algorithmic programming.
25 commits 2 branches 0 tags 82 KiB
  • Lean 100%
Find a file
Exact
Markus Himmel 9a2c617010 Make the code slightly more presentable
2025-11-01 21:49:32 +01:00
.github/workflows Initial commit 2025-10-16 12:33:32 +02:00
Problemset Prove sample input 2025-11-01 21:04:15 +01:00
TCR Make the code slightly more presentable 2025-11-01 21:49:32 +01:00
TCRTest Add test 2025-10-19 17:44:09 +02:00
.gitignore Initial commit 2025-10-16 12:33:32 +02:00
lake-manifest.json Initial commit 2025-10-16 12:33:32 +02:00
lakefile.toml Define bracket sequence 2025-10-26 10:21:16 +01:00
lean-toolchain Make the code slightly more presentable 2025-11-01 21:49:32 +01:00
LICENSE Initial commit 2025-10-16 12:33:32 +02:00
Problemset.lean Add problem AntColony 2025-10-26 12:49:52 +01:00
README.md Initial commit 2025-10-16 12:33:32 +02:00
TCR.lean Initial commit 2025-10-16 12:33:32 +02:00
TCRTest.lean Add test 2025-10-19 17:44:09 +02:00

README.md

TCR

Just-for-fun library for verified algorithmic programming.