.. |
bench
|
4f50544242
chore: Nat.repr microbenchmark (#3888)
|
пре 1 месец |
compiler
|
3b4b2cc89d
fix: do not dllexport symbols in core static libraries (#3601)
|
пре 2 месеци |
elabissues
|
1118931516
feat: add bitwise operations to reduceNat? and kernel (#3134)
|
пре 4 месеци |
ir
|
42e6214a42
feat: lake: GNU/BSD OS detection in test scripts (#3180)
|
пре 4 месеци |
lean
|
1382e9fbc4
feat: simprocs for applying `shiftLeft_shiftLeft` and `shiftRight_shiftRight` (#4194)
|
пре 2 дана |
pkg
|
2df35360ee
feat: validate reducibility attribute setting (#4052)
|
пре 2 недеља |
playground
|
01104cc81e
chore: bool and prop lemmas for Mathlib compatibility and improved confluence (#3508)
|
пре 2 месеци |
plugin
|
3b4b2cc89d
fix: do not dllexport symbols in core static libraries (#3601)
|
пре 2 месеци |
simpperf
|
57e05af9da
feat: add `simp` benchmark
|
пре 3 година |
.gitignore
|
10253e89ea
chore: move bin/ and .oleans into build directory
|
пре 4 година |
common.sh
|
f165414e13
fix: use -O3 for LLVM tests in common.sh
|
пре 6 месеци |
lean-toolchain
|
3a0edd05e6
doc: VS Code dev setup (#2961)
|
пре 5 месеци |