/lean-cpp-ffi

test of using c++ in lean ffi

Primary LanguageLean

This repository is not active