https://github.com/fadoss/maude2lean

Maude to Lean translator
https://github.com/fadoss/maude2lean

lean maude theorem-proving

Last synced: 1 day ago
JSON representation

Maude to Lean translator

• Host: GitHub
• URL: https://github.com/fadoss/maude2lean
• Owner: fadoss
• License: gpl-3.0
• Created: 2022-05-03T09:34:09.000Z (over 2 years ago)
• Default Branch: main
• Last Pushed: 2024-09-01T10:35:18.000Z (5 months ago)
• Last Synced: 2024-09-25T18:02:09.612Z (4 months ago)
• Topics: lean, maude, theorem-proving
• Language: Lean
• Homepage: https://fadoss.github.io/maude2lean
• Size: 176 KB
• Stars: 1
• Watchers: 1
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project