ReverseFFIwithMathlib

Example project for reverse FFI using Lean+mathlib

Generate Convert Improve

Install / Use

/learn @lecopivo/ReverseFFIwithMathlib

About this skill

Quality Score

0/100

README

Reverse FFI with Mathlib

This project demonstrates how to call lean code from C/C++. Main lean repository already contains an example project. Unfortunately, when your lean project depends on std or mathlib the setup gets more complicated and this repository demonstrates how to do that.

To build this repository run

./build.sh

Related Skills

node-connect

347.9k

Diagnose OpenClaw node connection and pairing failures for Android, iOS, and macOS companion apps

frontend-design

108.7k

Create distinctive, production-grade frontend interfaces with high design quality. Use this skill when the user asks to build web components, pages, or applications. Generates creative, polished code that avoids generic AI aesthetics.

openai-whisper-api

347.9k

Transcribe audio via OpenAI Audio Transcriptions API (Whisper).

qqbot-media

347.9k

QQBot 富媒体收发能力。使用 <qqmedia> 标签，系统根据文件扩展名自动识别类型（图片/语音/视频/文件）。