GitHub repository: utensil/lean4_jupyter
Primary language: Python
Created: 2024-05-08T04:36:26Z
Description: A Lean 4 Jupyter kernel via repl