Zulip Chat Archive

Stream: general

Topic: ffi example link broken

Frederick Pu (Nov 10 2025 at 20:33):

The link to the ffi and reverse ffi examples llisted in the below link are broken:
https://github.com/leanprover/lean4/blob/master/doc/dev/ffi.md

Frederick Pu (Nov 10 2025 at 20:33):

Frederick Pu (Nov 11 2025 at 01:42):

I just found the link here: https://github.com/leanprover/lean4/tree/master/tests/lake/examples/reverse-ffi

Last updated: Dec 20 2025 at 21:32 UTC