GitHub - 4hma4d/LeanInterface: An interface for Lean4 that accepts handwritten input. · GitHub

8000 GitHub - 4hma4d/LeanInterface: An interface for Lean4 that accepts handwritten input. · GitHub

Repository navigation

LeanInterface

Public

About

An interface for Lean4 that accepts handwritten input.

0 stars

1 watching

Report repository

Name		Name	Last commit message	Last commit date
interpreter		interpreter
modules		modules
static		static
templates		templates
.gitignore		.gitignore
README.md		README.md
__init__.py		__init__.py
app.py		app.py
scratch.py		scratch.py

Repository files navigation

About

An interface for Lean4 that accepts handwritten input.

0 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages

0