https://github.com/overturetool/vdmtools
https://github.com/overturetool/vdmtools
Last synced: over 1 year ago
JSON representation
- Host: GitHub
- URL: https://github.com/overturetool/vdmtools
- Owner: overturetool
- Created: 2014-08-19T10:52:32.000Z (almost 12 years ago)
- Default Branch: master
- Last Pushed: 2014-08-21T11:46:03.000Z (almost 12 years ago)
- Last Synced: 2025-01-05T09:42:02.224Z (over 1 year ago)
- Language: Java
- Size: 602 KB
- Stars: 0
- Watchers: 6
- Forks: 0
- Open Issues: 1
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# (Obsolete) Interface to VDMTools
- **Primary Contacts:**
Kenneth Lausdahl
- **Status:**
Obsolete
## Description:
## Known Issues:
## Contributors: