https://github.com/rdck/plt

formalizing bits of programming language theory
https://github.com/rdck/plt

Last synced: about 1 month ago
JSON representation

formalizing bits of programming language theory

• Host: GitHub
• URL: https://github.com/rdck/plt
• Owner: rdck
• Created: 2024-06-18T14:59:59.000Z (8 months ago)
• Default Branch: trunk
• Last Pushed: 2024-06-20T17:50:01.000Z (8 months ago)
• Last Synced: 2024-11-07T18:29:20.295Z (3 months ago)
• Language: Coq
• Homepage:
• Size: 1.95 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:

Awesome Lists containing this project