Rare find

lean-sys. Rust bindings for the Lean 4 proof assistant

github.com/digama0/lean-sys

by

@digama0

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.