ats2-postiats
Programming language with formal specification features
Ecosystem
formulae.brew.sh
formulae.brew.sh
Latest Release
over 4 years ago
0.4.2
over 4 years ago
Versions
1
1
Downloads
0 last month
0 last month
Links
| Registry | formulae.brew.sh |
| Homepage | Homepage |
| JSON API | View JSON |
| CodeMeta | codemeta.json |
Package Details
| PURL |
pkg:brew/ats2-postiats
spec |
| License | GPL-3.0-only |
| First Release | over 4 years ago |
| Last Synced | about 3 hours ago |