Geeks
digama0
/
lean-sys
Rust bindings for the Lean 4 proof assistant
Primary Language
Rust
Apache License 2.0
Apache-2.0
lean-sys GitHub
Markdown
Readme
2
Issues
21
Stargazers
3
Watchers
Stargazers
alcides
LASIGE, University of Lisbon
alreadydone
Heidelberg / Shenzhen
drwadu
imbrem
University of Cambridge
JamesGallicchio
Carnegie Mellon
joewatt95
lorenzleutgeb
Max Planck Institute for Informatics
ramonfmir
London
SchrodingerZhu
University of Rochester
shpark
Seoul, Korea
tripleo1
utensil
Vtec234
Pittsburgh, USA