GitHub - subsetpark/pantagruel: A program specification language with a formal syntax and ad-hoc semantics. - discu.eu

Lobsters

Pantagruel v0.5.1 https://github.com/subsetpark/pantagruel 3 comments 20/3/2022 formalmethods , release

Linked pages

Would you like to stay up to date with Computer science? Checkout Computer science Weekly.

Related searches:

Search whole site: site:github.com

Search title: GitHub - subsetpark/pantagruel: A program specification language with a formal syntax and ad-hoc semantics.

See how to search.

Submit link to: