https://github.com/gmalecha/coq-mod-reduce

Modular reduction specifications for cbv
https://github.com/gmalecha/coq-mod-reduce

Last synced: about 1 month ago
JSON representation

Modular reduction specifications for cbv

• Host: GitHub
• URL: https://github.com/gmalecha/coq-mod-reduce
• Owner: gmalecha
• License: mit
• Created: 2016-01-10T23:50:51.000Z (almost 9 years ago)
• Default Branch: master
• Last Pushed: 2016-01-10T23:56:28.000Z (almost 9 years ago)
• Last Synced: 2023-04-30T20:32:50.483Z (over 1 year ago)
• Language: OCaml
• Size: 2.93 KB
• Stars: 1
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
coq-mod-reduce

==============

This plugin provides a way to bundle a set of terms together and supply them

all to the [cbv] reduction mechanism.

Example

-------

See the test-suite directory for several examples.