https://github.com/lean-dojo/lean4code

Lean4 Code Editor
https://github.com/lean-dojo/lean4code

Last synced: 6 months ago
JSON representation

Lean4 Code Editor

• Host: GitHub
• URL: https://github.com/lean-dojo/lean4code
• Owner: lean-dojo
• License: mit
• Created: 2025-06-08T01:38:33.000Z (about 1 year ago)
• Default Branch: main
• Last Pushed: 2025-11-30T05:30:59.000Z (8 months ago)
• Last Synced: 2025-12-02T01:40:20.882Z (8 months ago)
• Language: TypeScript
• Size: 99.9 MB
• Stars: 9
• Watchers: 0
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • Contributing: CONTRIBUTING.md
  • Funding: FUNDING.json
  • License: LICENSE
  • Code of conduct: CODE_OF_CONDUCT.md

Awesome Lists containing this project