https://github.com/armael/minicooper

A Coq tactic for quantifier elimination in linear arithmetic
https://github.com/armael/minicooper

Last synced: about 2 months ago
JSON representation

A Coq tactic for quantifier elimination in linear arithmetic

• Host: GitHub
• URL: https://github.com/armael/minicooper
• Owner: Armael
• License: lgpl-3.0
• Created: 2018-11-07T20:55:27.000Z (about 6 years ago)
• Default Branch: master
• Last Pushed: 2019-06-29T14:41:22.000Z (over 5 years ago)
• Last Synced: 2023-08-14T00:02:43.013Z (over 1 year ago)
• Language: Coq
• Homepage:
• Size: 72.3 KB
• Stars: 3
• Watchers: 4
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project