https://github.com/uds-psl/autosubst2

Official repository of the Autosubst 2 project.
https://github.com/uds-psl/autosubst2

coq formalization metatheory-language

Last synced: 4 days ago
JSON representation

Official repository of the Autosubst 2 project.

• Host: GitHub
• URL: https://github.com/uds-psl/autosubst2
• Owner: uds-psl
• License: other
• Created: 2020-10-26T13:12:42.000Z (about 4 years ago)
• Default Branch: main
• Last Pushed: 2023-05-08T22:48:44.000Z (over 1 year ago)
• Last Synced: 2024-04-23T16:38:01.311Z (7 months ago)
• Topics: coq, formalization, metatheory-language
• Language: Haskell
• Homepage:
• Size: 128 KB
• Stars: 15
• Watchers: 6
• Forks: 4
• Open Issues: 4

Awesome Lists containing this project