Beluga: A Framework for Programming and Reasoning with Deductive Systems (System Description)
| Main Authors: | , |
|---|---|
| Format: | Book Part |
| Language: | unknown |
| Published: |
Springer Berlin Heidelberg
2010
|
| Subjects: | |
| Online Access: | http://dx.doi.org/10.1007/978-3-642-14203-1_2 https://link.springer.com/content/pdf/10.1007/978-3-642-14203-1_2 |
| Description not available. |