LeanInteract icon indicating copy to clipboard operation
LeanInteract copied to clipboard

Published 1 week ago • verified publisher icon augustepoiroux
→

Metadata

LeanInteract: A Python Interface for Lean 4

← Metadata

86
Stars
7
Forks
86
Watchers

Owner

verified publisher icon augustepoiroux

Metadata

LeanInteract: A Python Interface for Lean 4

Back