kassane/lean4-zig

Issues

• Improvement FFI

  #7 opened 2 years ago by kassane
  0

• Windows zFFI: `lake build` error

  #9 opened 2 years ago by kassane
  0

• Windows: Include and library not found

  #6 opened 2 years ago by kassane
  0

• Windows: not run

  #2 opened 2 years ago by kassane
  3

• Add testing on binding

  #3 opened 2 years ago by kassane
  0