GitHub / anqur / TinyLean

Tiny theorem prover with syntax like Lean 4 in <1K LOC

JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/anqur%2FTinyLean
PURL: pkg:github/anqur/TinyLean

Stars: 60
Forks: 2
Open issues: 2

License: mit
Language: Python
Size: 189 KB
Dependencies parsed at: Pending

Created at: 6 months ago
Updated at: about 1 month ago
Pushed at: about 1 month ago
Last synced at: about 1 month ago

Topics: lean, lean4, programming-language, theorem-prover, theorem-proving

Loading...