Zach Smith
Results
2
repositories owned by
Zach Smith
pantagruel
68
Stars
2
Forks
Watchers
A program specification language with a formal syntax and ad-hoc semantics.
Zach Smith
A program specification language with a formal syntax and ad-hoc semantics.