https://github.com/emptylambda/blt
Boogie-less-triggers
https://github.com/emptylambda/blt
blt boogie tptp trigger verification-conditions
Last synced: 8 months ago
JSON representation
Boogie-less-triggers
- Host: GitHub
- URL: https://github.com/emptylambda/blt
- Owner: emptylambda
- License: gpl-3.0
- Created: 2017-04-06T16:08:18.000Z (about 9 years ago)
- Default Branch: master
- Last Pushed: 2018-04-04T11:33:10.000Z (about 8 years ago)
- Last Synced: 2025-05-29T04:44:36.898Z (about 1 year ago)
- Topics: blt, boogie, tptp, trigger, verification-conditions
- Language: Haskell
- Size: 3.07 MB
- Stars: 2
- Watchers: 2
- Forks: 0
- Open Issues: 0