Giters

SchrodingerZhu / lean-sys

Rust bindings for the Lean 4 proof assistant

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

SchrodingerZhu/lean-sys Watchers