https://github.com/sylvainhalle/formalise22-artifact

Replication artifact for a submission to FormaliSE 2022
https://github.com/sylvainhalle/formalise22-artifact

Last synced: about 1 month ago
JSON representation

Replication artifact for a submission to FormaliSE 2022

• Host: GitHub
• URL: https://github.com/sylvainhalle/formalise22-artifact
• Owner: sylvainhalle
• Created: 2022-01-30T21:48:31.000Z (almost 3 years ago)
• Default Branch: main
• Last Pushed: 2022-02-13T15:24:11.000Z (almost 3 years ago)
• Last Synced: 2023-03-22T22:56:40.602Z (over 1 year ago)
• Size: 9.77 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project