lean4-htt/tests
2024-09-25 08:18:42 +00:00
..
bench chore: notation ^^ for Bool.xor (#5332) 2024-09-18 08:59:11 +00:00
compiler chore: fix spelling mistakes in tests (#5439) 2024-09-24 03:22:53 +00:00
elabissues
ir
lean test: remove flaky test (#5468) 2024-09-25 08:18:42 +00:00
pkg chore: fix spelling mistakes in tests (#5439) 2024-09-24 03:22:53 +00:00
playground chore: fix spelling mistakes in tests (#5439) 2024-09-24 03:22:53 +00:00
plugin
simpperf
.gitignore
common.sh
lean-toolchain