☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (1)
Dependencies (7)
lffi
lffi
A simpe package to explore the use of the Lean FFI.