Space: leanperia/AllAboutLean
title: LeanChatbot
sdk: gradio
license: mit
short_description: This chatbot answers questions about Lean Louiel Peria
Tags: gradio, region:us