Repository navigation

Fix linker error on Windows, improve tests - #3

Merged

BRonen merged 4 commits into

BRonen:masterfrom

i-love-lean:master

Oct 23, 2025

Merged

Fix linker error on Windows, improve tests#3
BRonen merged 4 commits into
BRonen:masterfrom
i-love-lean:master

Commits on Oct 23, 2025
- Fix linker error on Windows
  i-love-lean
  committed
  cf97226
- Fix typo in lean-toolchain
  i-love-lean
  committed
  4bcd10a
- Correctly implement support for int64 and float and test it
  i-love-lean
  committed
  471f2de
- Link to signed ints FFI GitHub issue
  i-love-lean
  committed
  4649869