Tiny theorem prover in Python, with syntax like Lean 4.
An identity function in TinyLean:
def id {T: Type} (a: T): T := a
example := id TypeMIT
generated from pypa/sampleproject
-
Notifications
You must be signed in to change notification settings - Fork 0
Tiny theorem prover with syntax like Lean 4 in <1K LOC
License
anqurvanillapy/TinyLean
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Tiny theorem prover with syntax like Lean 4 in <1K LOC
Topics
Resources
License
Stars
Watchers
Forks
Packages 0
No packages published