issues
search
digama0
/
lean-sys
Rust bindings for the Lean 4 proof assistant
Apache License 2.0
17
stars
5
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Upgrade to Lean 4.8.0 and add lean_initialize_thread and lean_finalize_thread
#14
andrewmw94
closed
4 months ago
3
feat: query xcrun to find the correct location of libc(++) on MacOS
#13
bollu
opened
4 months ago
0
update to 4.6.0
#12
digama0
closed
7 months ago
0
chore(docs): document how to configure dynamic builds
#11
jeswr
opened
8 months ago
0
Version bump
#10
imbrem
closed
1 year ago
5
ci: setup lean4 environment via elan
#9
SchrodingerZhu
closed
1 year ago
0
fix: `LEAN_MAX_SMALL_NAT` should be `SIZE_MAX >> 1`
#8
SchrodingerZhu
closed
1 year ago
0
ci: initialize rust workflows
#7
SchrodingerZhu
closed
1 year ago
0
Remove locked routines
#6
SchrodingerZhu
opened
1 year ago
1
Linkage error on macos
#5
SchrodingerZhu
opened
1 year ago
1
fix(alloc): use LEAN_OBJECT_SIZE_DELTA as alignment check
#4
SchrodingerZhu
closed
1 year ago
0
Wrong `lean_get_slot_idx`
#3
SchrodingerZhu
closed
1 year ago
1
Panic and alloc
#2
SchrodingerZhu
closed
1 year ago
0
Remove `std` dependency
#1
SchrodingerZhu
closed
1 year ago
1