Skip to content
/ eurisko-resources Public

Resources to parse into computational semantics in order to enable model checkers to regenerate and extend a program resembling the original Eurisko and related systems.

11 stars 2 forks Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

aindilis/eurisko-resources

1 Branch0 Tags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

author
Andrew Dougherty
k.
Sep 2, 2024
8fdc495 · Sep 2, 2024

History

1 Commit
README.md
README.md
Sep 2, 2024

Repository files navigation

Going to use Grobid to extract all the references and link to them here.

About

Resources to parse into computational semantics in order to enable model checkers to regenerate and extend a program resembling the original Eurisko and related systems.

Resources

Readme
Activity

Stars

11 stars

Watchers

3 watching

Forks

2 forks
Report repository

Releases

No releases published

Packages

No packages published