https://github.com/luthda/plfm

Programming Languages and Formal Methods
https://github.com/luthda/plfm

Last synced: 24 days ago
JSON representation

Programming Languages and Formal Methods

• Host: GitHub
• URL: https://github.com/luthda/plfm
• Owner: luthda
• Created: 2020-05-28T07:00:08.000Z (over 4 years ago)
• Default Branch: master
• Last Pushed: 2020-07-17T13:41:56.000Z (over 4 years ago)
• Last Synced: 2024-11-21T12:53:02.026Z (3 months ago)
• Language: Haskell
• Size: 1.74 MB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project