https://github.com/calvinkrist/robochecker

Using formal methods and
https://github.com/calvinkrist/robochecker

Last synced: 9 days ago
JSON representation

Using formal methods and

• Host: GitHub
• URL: https://github.com/calvinkrist/robochecker
• Owner: CalvinKrist
• Created: 2020-04-07T19:03:48.000Z (over 4 years ago)
• Default Branch: master
• Last Pushed: 2020-04-28T20:38:03.000Z (over 4 years ago)
• Last Synced: 2023-04-26T01:03:49.467Z (over 1 year ago)
• Language: Raku
• Size: 1.77 MB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project