TwoFX/OrderedTree
1
1
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
No description
89 commits 2 branches 0 tags 250 KiB
  • Lean 100%
Find a file
Exact
Paul Reichert cca06619b7 update lean toolchain
2025-01-22 16:51:49 +01:00
.vscode Start working on Impl.lean 2024-11-07 16:14:20 +01:00
Orderedtree update lean toolchain 2025-01-22 16:51:49 +01:00
.gitignore More modification operations 2024-11-15 07:25:10 +01:00
lake-manifest.json Initial commit 2024-08-15 11:24:09 +02:00
lakefile.lean Reorganize, pick an implementation of containsThenInsert 2024-11-13 11:18:25 +01:00
lean-toolchain update lean toolchain 2025-01-22 16:51:49 +01:00
LICENSE Add license 2024-08-16 18:53:10 +02:00
Main.lean Progress 2024-11-13 16:04:03 +01:00