Skip to content

meta-introspector/lean-explore

Error
Looks like something went wrong!

About

A search engine for Lean 4

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages

  • Python 94.0%
  • Lean 6.0%