https://github.com/leanprover/lean2

Lean theorem prover version 0.2 (it supports standard and HoTT modes)
https://github.com/leanprover/lean2

Last synced: about 2 months ago
JSON representation

Lean theorem prover version 0.2 (it supports standard and HoTT modes)

• Host: GitHub
• URL: https://github.com/leanprover/lean2
• Owner: leanprover
• License: apache-2.0
• Created: 2016-12-01T21:15:56.000Z (almost 8 years ago)
• Default Branch: master
• Last Pushed: 2022-03-19T02:21:01.000Z (over 2 years ago)
• Last Synced: 2024-05-12T22:40:21.453Z (4 months ago)
• Language: C++
• Size: 23.8 MB
• Stars: 121
• Watchers: 16
• Forks: 25
• Open Issues: 3
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project