https://github.com/jaalonso/razonando-con-lean

Elaboración de demostraciones con Lean.
https://github.com/jaalonso/razonando-con-lean

automated-theorem-proving leanprover mathematics proof-assistant

Last synced: 16 days ago
JSON representation

Elaboración de demostraciones con Lean.

• Host: GitHub
• URL: https://github.com/jaalonso/razonando-con-lean
• Owner: jaalonso
• License: gpl-3.0
• Created: 2022-04-18T14:26:36.000Z (over 2 years ago)
• Default Branch: main
• Last Pushed: 2022-06-24T07:24:34.000Z (over 2 years ago)
• Last Synced: 2023-03-05T04:48:50.355Z (almost 2 years ago)
• Topics: automated-theorem-proving, leanprover, mathematics, proof-assistant
• Language: Lean
• Homepage:
• Size: 43 KB
• Stars: 1
• Watchers: 1
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project