https://github.com/julian/rpylean

A Lean (4) type checker written in RPython
https://github.com/julian/rpylean

lean4 leanprover pypy rpython type-checker

Last synced: 8 months ago
JSON representation

A Lean (4) type checker written in RPython

• Host: GitHub
• URL: https://github.com/julian/rpylean
• Owner: Julian
• License: mit
• Created: 2025-03-16T21:36:32.000Z (10 months ago)
• Default Branch: main
• Last Pushed: 2025-04-26T21:36:33.000Z (9 months ago)
• Last Synced: 2025-05-02T23:02:17.204Z (9 months ago)
• Topics: lean4, leanprover, pypy, rpython, type-checker
• Language: Python
• Homepage:
• Size: 2.4 MB
• Stars: 2
• Watchers: 2
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • License: LICENSE

Awesome Lists containing this project