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: about 1 year 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 (over 5 years ago)
- Default Branch: main
- Last Pushed: 2023-05-08T22:48:44.000Z (about 3 years ago)
- Last Synced: 2025-04-02T14:21:30.195Z (about 1 year ago)
- Topics: coq, formalization, metatheory-language
- Language: Haskell
- Homepage:
- Size: 128 KB
- Stars: 20
- Watchers: 5
- Forks: 5
- Open Issues: 4